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