Formal mutation testing for Circus.

Alex D. B. Alberto Ana Cavalcanti Marie-Claude Gaudel Adenilso Simão

Published in: Inf. Softw. Technol. (2017)

Keyphrases

mutation testing
test sequences
test generation
database applications
test suite
finite state machines
test cases
integration testing
database systems
formal model
formal methods
pairwise
learning process
regression testing
testing process