The First International Workshop on Automated Program Analysis, Testing and Verification.
Nigel TraceyJohn PenixWillem VisserPublished in: ICSE (2000)
Keyphrases
- formal verification
- semi automated
- symbolic execution
- model checking
- test generation
- search based testing
- fully automated
- computer vision
- computer aided
- context sensitive
- face verification
- signature verification
- verification method
- databases
- database
- test cases
- training set
- automated analysis
- decision making
- asynchronous circuits
- concurrent systems