VSSE 2012

Local Information

ETAPS 2012



09:00-09:15 Welcome and Some Ideas from PINCETTE Project,
Hana Chockler, IBM Research
09:15-09:45 Software Upgrade Checking Using Interpolation-based Function Summaries,
Ondrej Sery, Charles University, Prague
09:45-10:30 Finding Races in Evolving Concurrent Programs Through Check-in Driven Analysis,
Alastair Donaldson, Imperial College London
10:30-11:00 Coffee Break
11:00-11:45 SymDiff: Leveraging and Extending Program Verification Techniques for Comparing Programs,
Shuvendu K. Lahiri, Microsoft Research, SymDiff project
11:45-12:30 Regression Verification for Multi-Threaded Programs,
Ofer Strichman, Technion
12:30-14:00 Lunch
14:00-14:45 Empirical analysis of Evolution of Vulnerabilities,
Fabio Massacci, University of Trento, coordinator of SecureChange (Security Engineering for lifelong Evolvable Systems) project
14:45-15:30 Testing Evolving Software,
Alex Orso, Georgia Institute of Technology
15:30-16:00 Coffee Break
16:00-16:45 Automated Continuous Evolutionary Testing,
Peter M. Kruse, Berner & Mattner Systemtechnik GmbH, FITTEST (Future Internet Testing) project
16:45-17:30 Discussion