The Second International Workshop on Automated Program Analysis, Testing and Verification.
Nigel TraceyJohn PenixWillem VisserPublished in: ICSE (2001)
Keyphrases
- search based testing
- symbolic execution
- test generation
- test data generation
- formal verification
- model checking
- fully automated
- data mining and knowledge discovery
- computer assisted
- test cases
- test set
- semi automatic
- computer aided
- face verification
- knowledge base
- fully automatic
- data sets
- semi automated
- formal methods
- data driven
- learning algorithm
- verification method
- information retrieval
- functional verification
- databases