Model-Based Mutation Testing Using Pushdown Automata.

Fevzi Belli Mutlu Beyazit Tomohiko Takagi Zengo Furukawa

Published in: IEICE Trans. Inf. Syst. (2012)

Keyphrases

mutation testing
finite state machines
test sequences
model checking
database applications
test generation
test suite
regular expressions
finite state
cellular automata
test cases
video sequences
data sets
bit rate
image quality
open source
software engineering
fully unsupervised
case study