Using the NuSMV Model Checker for Test Generation from Statecharts.
Masaya KadonoTatsuhiro TsuchiyaTohru KikunoPublished in: PRDC (2009)
Keyphrases
- model checker
- test generation
- model checking
- test suite
- test cases
- formal verification
- formal methods
- temporal logic
- description language
- symbolic model checking
- static analysis
- software testing
- formal specification
- set theory
- quality assurance
- specification language
- ai planning
- software engineering
- rough set theory
- rough sets