Bounds on population coverage using test generation by fault sampling.
Hassan FarhatSteven G. FromPublished in: Microprocess. Microsystems (1992)
Keyphrases
- test generation
- code coverage
- test cases
- fault diagnosis
- symbolic execution
- design automation
- test sequences
- test suite
- lower bound
- static analysis
- upper bound
- quality assurance
- worst case
- random sampling
- fault detection
- software testing
- mutation testing
- sample size
- regression testing
- machine vision
- monte carlo
- design process
- artificial intelligence
- real world
- database