Mutation Testing of "Go-Back" Functions Based on Pushdown Automata | IEEE Conference Publication | IEEE Xplore