High-level test generation using physically-induced faults.
Mark C. HansenJohn P. HayesPublished in: VTS (1995)
Keyphrases
- test generation
- test cases
- high level
- mutation testing
- low level
- test sequences
- symbolic execution
- design automation
- static analysis
- fault diagnosis
- test suite
- software testing
- quality assurance
- fault detection
- regression testing
- programming language
- test data generation
- visual information
- database systems
- vision system
- fault model
- object oriented
- code coverage
- information systems