VSSE focuses on the verification and testing of software changes and upgrades. Software is usually not written all at once, but is built incrementally for several reasons:
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 addresses the issue of efficient and reliable verification of system changes and upgrades by means of formal verification, analysis
and testing techniques.
The first VSSE took place in Tallinn, Estonia, in 2012, affiliated with ETAPS 2012. The program of VSSE 2012 consisted of invited talks by experts in this area. Following the success of VSSE 2012, we decided to invite submissions to VSSE 2013.
The workshop proceedings will be published in Electronic Notes in Theoretical Computer Science series (ENTCS).
| Submissions: | December 20, 2012 |
| Notification: | January 20, 2013 |
| Event: | March 16, 2013-March 16, 2013 |