VSSE 2012

Local Information

ETAPS 2012



This workshop focuses on the verification and testing of software change and upgrades. Software is usually not written all at once, but is built incrementally for 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.

VSSE 2012 Program consists of invited talks by experts in this area.

Please note that, between Sat 24 March and Sun 25 March, Estonia as well as many other countries will switch to Daylight Saving Time. Don't miss the first talks of the workshop!

Presentations are available from the program page.


Alastair F. Donaldson, Imperial College London

Shuvendu K. Lahiri, Microsoft Research, SymDiff project

Fabio Massacci, University of Trento, coordinator of SecureChange (Security Engineering for lifelong Evolvable Systems) project

Alex Orso, Georgia Institute of Technology

Ondrej Sery, Faculty of Mathematics and Physics, Charles University in Prague

Ofer Strichman, Technion

Peter M. Kruse, Berner & Mattner Systemtechnik GmbH, FITTEST (Future Internet Testing) project


PINCETTE project team:

Hana Chockler (IBM Haifa Research Lab, Israel)

Daniel Kroening (Oxford, UK)

Natasha Sharygina (University of Lugano, Switzerland)

Leonardo Mariani (University of Milano-Bicocca, Italy)

Giovanni Denaro (University of Milano-Bicocca, Italy)