Analysis

Track: Technical Research
When: May 22, 2013 16:00
Location: Grand Ballroom C
Chair: Frank Tip


Comparative Causality: Explaining the Differences between Executions

William N. Sumner and Xiangyu Zhang
Purdue University, USA

Automatic Testing of Sequential and Concurrent Substitutability

Michael Pradel and Thomas R. Gross
ETH Zurich, Switzerland

Data Clone Detection and Visualization in Spreadsheets

Felienne Hermans, Ben Sedee, Martin Pinzger, and Arie van Deursen
TU Delft, Netherlands