Boundary Coverage Criteria for Test Generation from Formal Models.
Nikolai KosmatovBruno LegeardFabien PeureuxMark UttingPublished in: ISSRE (2004)
Keyphrases
- formal models
- test generation
- code coverage
- test cases
- formal model
- rule based systems
- symbolic execution
- design automation
- test sequences
- process model
- test suite
- static analysis
- software testing
- quality assurance
- databases
- database
- artificial intelligence
- human visual system
- life cycle
- query language
- expert systems
- test data generation
- machine learning