Requirement-Based Automated Black-Box Test Generation.
Luay Ho TahatAtef BaderBoris VaysburgBogdan KorelPublished in: COMPSAC (2001)
Keyphrases
- black box
- test generation
- test cases
- test sequences
- symbolic execution
- software testing
- black boxes
- design automation
- test data
- white box
- test set
- test data generation
- integration testing
- regression testing
- white box testing
- quality assurance
- mutation testing
- static analysis
- fully automated
- code coverage
- test suite
- hybrid systems
- artificial intelligence
- object oriented
- training set
- feature extraction