Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000).
Nigel TraceyJohn PenixWillem VisserPublished in: Softw. Test. Verification Reliab. (2001)
Keyphrases
- formal verification
- symbolic execution
- test generation
- special issue
- test cases
- model checking
- search based testing
- computer aided
- semi automated
- software testing
- test data generation
- automated analysis
- fully automated
- context sensitive
- artificial neural networks
- computer vision
- real world
- formal analysis
- signature verification
- test set
- verification method
- case study