VSSE2013
VSSE Home
Call for Papers
Submission (easychair)
VSSE Program
Important Dates
Local Information
Venue
Registration & Accommodation
ETAPS 2013
Program
9:00 - 10:00
Abstract Semantic Differencing for Numerical Programs
(invited talk)
Eran Yahav
(Technion)
10:00 - 10:30
Formalization and Verification of Behavioral Correctness of Dynamic Software Updates
Min Zhang, Kazuhiro Ogata and Kokichi Futatsugi
10:30 - 11:00
Towards Incremental Mutation Testing
Mark Anthony Cachia, Mark Micallef and Christian Colombo
11:00 - 11:30
Coffee break
11:30 - 12:30
Memoized Symbolic Execution
(invited talk)
Corina Pasareanu
(NASA Ames and CMU)
12:30 - 14:00
Lunch
14:00 - 14:30
Static Upgrade Checking with Dynamically Generated Assertions
Fabrizio Pastore (UniMiB)
14:30 - 15:00
Verification on the fly in Visual Studio
Nassim Seghir (Oxford)
15:00 - 15:30
EvolCheck: Incremental Model Checking for Upgrade Checks
Grigory Fedyukovich (USI)
15:30 - 16:00
Coffee break
