VSSE2013

Local Information

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
ETAPS