The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. We invite authors to submit contributions on:
•tools and techniques for verification of large scale software systems
•real world applications and case studies applying software verification
•static and run-time analysis
•abstract interpretation
•model checking
•theorem proving
•correct by construction development
•model-based testing
•verification-based testing
•symbolic execution
•analysis methods for dependable systems
•software certification and proof carrying code
22-26 March 2010
Sierre, Switzerland
* Sep 15th 2009: Submission deadline extended
* Oct 19th 2009: Notification of acceptance/rejection
* Nov 2nd 2009: Camera-ready versions due
Important dates
Please contact the track chair for any questions regarding submissions: Jan Cederquist