Final Program: See http://www.acm.org/conferences/sac/sac2009/FP.pdf
Accepted Papers:
• Local Reasoning for Abstraction and Sharing
Renato Cherini and Javier Blanco
• An Optimized Change-Driven Regression Testing Selection Strategy for Binary JAVA Applications
Sheng Huang, Yang Chen, Jun Zhu, Zhong Jie Li, Hua Fang Tan
• The Synergy of Precise and Fast Abstractions for Program Verification
Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich
• An Approach for Component Testing and Its Empirical Validation
Fernando Silva, Eduardo Almeida, Silvio Meira
• On the Verification of Probabilistic I/O Automata with Unspecified Rates
Sergio Giro, Pedro D'Argenio
• Specifying and Checking Protocols of Multithreaded Classes
Clement Hurlin
• Enforcement Monitoring wrt. the Safety-Progress Classification of Properties
Ylies Falcone, Jean-Claude Fernandez, Laurent Mounier
• Certification of Smart-Card Applications in Common Criteria
Iman Narasamdya, Michael Perin
• Extended Static Checking in JML4: Benefits of Multiple-Prover Support
Perry R. James, Patrice Chalin
• Reasoning about Comprehensions with First-Order SMT Solvers
Rustan Leino, Rosemary Monahan