KVEST: Automated Generation of Test Suites from Formal Specifications.
Igor B. BurdonovAlexander S. KossatchevAlexander K. PetrenkoDmitri GalterPublished in: World Congress on Formal Methods (1999)
Keyphrases
- formal specification
- test suite
- model checker
- software testing
- test cases
- model checking
- test suite reduction
- object oriented design
- specification languages
- specification language
- formal methods
- reverse engineering
- test case generation
- regression testing
- java programs
- testing process
- software components
- concurrent systems
- code coverage
- mutation testing
- static analysis
- design methodology
- learning algorithm
- object oriented
- formal specification language
- information systems