Test Generation with Inputs, Outputs and Repetitive Quiescence.
Jan TretmansPublished in: Softw. Concepts Tools (1996)
Keyphrases
- test generation
- test cases
- dea models
- design automation
- test sequences
- symbolic execution
- quality assurance
- software testing
- static analysis
- dea model
- test data generation
- mutation testing
- code coverage
- open source
- regression testing
- software engineering
- computer vision
- real world
- quality control
- software systems
- software development
- information technology
- artificial intelligence
- data sets