Time for Mutants - Model-Based Mutation Testing with Timed Automata.
Bernhard K. AichernigFlorian LorberDejan NickovicPublished in: TAP@STAF (2013)
Keyphrases
- mutation testing
- timed automata
- test sequences
- model checking
- finite state machines
- database applications
- test generation
- test suite
- reachability analysis
- integration testing
- theorem prover
- test cases
- temporal logic
- theorem proving
- testing process
- software testing
- real time systems
- first order logic
- bit rate
- video sequences
- quality assurance
- database management systems
- neural network
- object oriented