Model-Based Mutation Testing Using Pushdown Automata

Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa. Model-Based Mutation Testing Using Pushdown Automata. IEICE Transactions, 95-D(9):2211-2218, 2012. [doi]

Abstract

Abstract is missing.