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. • analysis methods for dependable systems
  10. • software certification and proof carrying code
 
 
 
PROGRAM COMMITTEE
 
Ana Almeida-Matos, Instituto Superior Tecnico, Portugal
Karthik Bhargavan, Microsoft Research, UK  
Laura Brandan-Briones, LRI Univerisity Paris-Sud,CNRS, France
Francisco Matias Cuenca-Acuna, Intel, Argentina
Amy Felty, University of Ottawa, Canada
Holger Hermanns, Saarland University, Germany
Jay Ligatti, University of South Florida, USA
MohammadReza Mousavi, Eindhoven University of Technology, The Netherlands
David Naumann, Stevens Institute of Technology, USA
Tamara Rezk (track chair), INRIA Sophia Antipolis Mediterranee, France
Fausto Spoto, University of Verona, Italy
Vugranam Sreedhar, IBM Research, USA
Marielle Stoelinga, University of Twente, The Netherlands
Jan Tretmans, Radboud University Nijmegen, and Embedded Systems Institute, Eindhoven, The Netherlands  
 
EXTERNAL REVIEWERS:
 
Suzana Andova, Pedro Baltazar, Jasper Berendsen, Nicolas Bruno, Eduardo Casanovas, Jan Cederquist, Rohit Chadha, Marcelo F. Cuadrado, Pieter Cuijpers, Alessandro Di Bucchianico, Carla Ferreira, Marie-Claude Gaudel, Domingo Gonzalez, Nataliya Guts, Jerry den Hartog, Sylvain Heraud, Christian Hofmann, Georgeta Igna, Gabriel Infante-Lopez, César Kunz, Alexander Lazovik, Zhengqin Luo, Patricio Maller, Ricardo Medel, Paulo Mateus, Jun Pang, Pablo P. Passera, Gustavo Petri, Eric Piel, Matthias Raffelsieper, Michel Reniers, Peter van Rossum, Jorge Sacchini, Julien Schmaltz, Ana Solokova, Mark Timmer, Frits Vaandrager, Tim Willemse, Nicolas Wolovick, Burkhart Wolff, Santiago Zanella  
 
24th Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
Accepted papers
 
 
 
 
  1.  
  2.  
March 8-9, 2009
Waikiki Beach, Hawaii