Keynote Speakers
- Andreas
Kuehlmann, Coverity
The Technology and Psychology of Testing Your Code as You Develop It (abstract) - Corina
Pasareanu, NASA Ames Research Center
Combining Model Checking and Symbolic Execution for Software Testing (abstract)
Tutorial
- Nikolai Kosmatov,
Nicky Williams, CEA LIST
Automated Structural Testing with PathCrawler (abstract)
