Test Case Generation from Mutants Using Model Checking Techniques.
Heinz RienerRoderick BloemGörschwin FeyPublished in: ICST Workshops (2011)
Keyphrases
- test case generation
- test suite
- model checker
- model checking
- test cases
- software testing
- temporal logic
- symbolic model checking
- test data generation
- static analysis
- formal verification
- epistemic logic
- transition systems
- automated verification
- java programs
- finite state machines
- timed automata
- process algebra
- temporal properties
- test set
- concurrent systems
- test generation
- verification method
- pspace complete
- databases
- computation tree logic
- bounded model checking
- high level
- learning algorithm
- genetic algorithm