The first international workshop on automated program analysis, testing and verification.
John PenixNigel TraceyWillem VisserPublished in: ACM SIGSOFT Softw. Eng. Notes (2001)
Keyphrases
- formal verification
- symbolic execution
- test generation
- model checking
- semi automated
- search based testing
- computer assisted
- artificial intelligence
- fully automated
- software testing
- fingerprint verification
- signature verification
- formal methods
- test set
- database
- fully automatic
- formal analysis
- quality assurance
- automated analysis
- test cases
- expert systems
- learning environment
- verification method
- real world
- real time