The Pushdown Automaton and Its Coverage Criterion for Testing Undo/Redo Functions of Software | IEEE Conference Publication | IEEE Xplore