25th Annual Symposium On Applied Computing


Software Verification and Testing Track

 
 

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:


  1. tools and techniques for verification of large scale software systems

  2. real world applications and case studies applying software verification

  3. static and run-time analysis

  4. abstract interpretation

  5. model checking

  6. theorem proving

  7. correct by construction development

  8. model-based testing

  9. verification-based testing

  10. symbolic execution

  11. analysis methods for dependable systems

  12. 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