Track: Technical Research
When: May 24, 2013 10:30
Location: Grand Ballroom A
Chair: John C. Knight

Automated Reliability Estimation over Partial Systematic Explorations

Esteban Pavese, Víctor Braberman, and Sebastian Uchitel
Universidad de Buenos Aires, Argentina; Imperial College London, UK

Safe Software Updates via Multi-version Execution

Petr Hosek and Cristian Cadar
Imperial College London, UK

Reliability Analysis in Symbolic Pathfinder

Antonio Filieri, Corina S. Păsăreanu, and Willem Visser
University of Stuttgart, Germany; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa