Mutation Testing of "Go-Back" Functions Based on Pushdown Automata.

Fevzi Belli Mutlu Beyazit Tomohiko Takagi Zengo Furukawa

Published in: ICST (2011)

Keyphrases

mutation testing
finite state machines
model checking
test sequences
computer vision
high level
database systems
database applications
cellular automata
finite automata
learning algorithm
training set
software engineering
test cases
test suite
test generation