A Hierarchical Test Generation Using High Level Primitives.
Didier CrestaniA. AguilaL. EudelineM.-H. GentilChristian DurantePublished in: VLSI Design (1993)
Keyphrases
- test generation
- high level
- low level
- test cases
- test sequences
- symbolic execution
- design automation
- static analysis
- mutation testing
- programming language
- quality assurance
- higher level
- software testing
- building blocks
- source code
- test data generation
- error rate
- semantic information
- conceptual model
- information technology
- artificial intelligence
- learning algorithm
- machine learning
- databases