High-Level Test Generation Using Symbolic Scheduling.
Mark C. HansenJohn P. HayesPublished in: ITC (1995)
Keyphrases
- test generation
- high level
- low level
- test cases
- test sequences
- symbolic execution
- design automation
- static analysis
- scheduling algorithm
- scheduling problem
- intermediate level
- software testing
- quality assurance
- programming language
- test data generation
- mutation testing
- source code
- semantic information
- integrity constraints
- conceptual model
- machine learning
- visual information