VSSE 2013 - 2nd Workshop on Validation Strategies for Software Evolution (VSSE)
Topics/Call fo Papers
2nd Workshop on Validation Strategies for Software Evolution (VSSE)
This workshop focuses on verification and testing of software change and upgrades. Software is usually not written all at once, but is built incrementally, due to several reasons:
Maintenance (fixing errors and flaws, hardware changes, etc.)
Enhancements (new functionality, improved efficiency, extension, new regulations, etc.)
Changes are done frequently during the lifetime of most systems and can introduce software errors that were not present in the old version, or expose errors that were present before but did not get exercised. In addition, upgrades are done gradually, so the old and new versions have to co-exist in the same system. This workshop will address the issue of efficient and reliable verification of system changes and upgrades by means of formal verification and dynamic analysis techniques.
Hana Chockler (IBM Research, Haifa, Israel)
Giovanni Denaro (Univ. of Milano Bicocca, Italy)
Daniel Kroening (Oxford Univ., UK)
Leonardo Mariani (Univ. of Milano Bicocca, Italy)
Natasha Sharygina (Univ. of Lugano, Switzerland)
This workshop focuses on verification and testing of software change and upgrades. Software is usually not written all at once, but is built incrementally, due to several reasons:
Maintenance (fixing errors and flaws, hardware changes, etc.)
Enhancements (new functionality, improved efficiency, extension, new regulations, etc.)
Changes are done frequently during the lifetime of most systems and can introduce software errors that were not present in the old version, or expose errors that were present before but did not get exercised. In addition, upgrades are done gradually, so the old and new versions have to co-exist in the same system. This workshop will address the issue of efficient and reliable verification of system changes and upgrades by means of formal verification and dynamic analysis techniques.
Hana Chockler (IBM Research, Haifa, Israel)
Giovanni Denaro (Univ. of Milano Bicocca, Italy)
Daniel Kroening (Oxford Univ., UK)
Leonardo Mariani (Univ. of Milano Bicocca, Italy)
Natasha Sharygina (Univ. of Lugano, Switzerland)
Other CFPs
- 7th International Workshop on Computing with Terms and Graph (TERMGRAPH)
- 1st International Workshop on Strategic Reasoning (SR)
- 11th Workshop on Quantitative Aspects of Programming Languages (QAPL)
- 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)
- 1st Workshop on Optimistic Cooperation in Concurrent Programming (OCCP)
Last modified: 2012-06-30 21:29:28