Test case generation from formal models through abstraction refinement and model checking.
Manoranjan SatpathyS. RameshPublished in: A-MOST (2007)
Keyphrases
- formal models
- model checking
- test case generation
- bounded model checking
- temporal logic
- test cases
- software testing
- model checker
- test suite
- rule based systems
- formal verification
- test data generation
- formal specification
- formal model
- symbolic model checking
- process model
- object oriented systems
- verification method
- temporal properties
- computation tree logic
- timed automata
- high level
- automated verification
- java programs
- formal methods
- static analysis
- transition systems
- database
- linear temporal logic
- rule base
- knowledge representation
- natural language
- artificial intelligence
- genetic algorithm