26th 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

21-25 March 2011

TaiChung, Taiwan

* Aug 31st 2010: Submission deadline extended

* Oct 12th 2010: Notification of acceptance/rejection

* Nov 2nd 2010: Camera-ready versions due

Important dates

Please contact the track chair for any questions regarding submissions: Jan Cederquist