Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Mon 31 Oct 2016 11:20 - 11:45 at Lausanne - Session 2

Regression-aware fault localization attempts to rank suspicious statements in a manner such that potential regression inducing suggestions are ranked low. The algorithm extracts the proof of correctness of all the correct executions in the form of Craig Interpolants over the successful execution traces. It, then, labels a program location suspicious if it can find a possible value for the assignment that can allow the hitherto failing execution to produce the expected output. However, any such value that does not satisfy the proof constraints of the passing tests are penalized in terms of their ranking. In this article, we sketch the regression-aware fault localization algorithm and motivate its potential application in debugging mobile applications.

Mon 31 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Session 2Mobile! at Lausanne
10:30
25m
Talk
Persistent Contextual Values as Inter-process Layers
Mobile!
Markus Raab Vienna University of Technology, Austria
Link to publication DOI Pre-print Media Attached
10:55
25m
Talk
Hacking with Multi-touch for Java (MT4j)
Mobile!
A: Craig Anslow Middlesex University, UK, A: Stuart Marshall Victoria University of Wellington, New Zealand, A: James Noble Victoria University of Wellington, New Zealand, A: Robert Biddle Carleton University, Canada
DOI Pre-print File Attached
11:20
25m
Talk
Regression Aware Debugging for Mobile Applications
Mobile!
Rohan Bavishi IIT Kanpur, India, Awanish Pandey IIT Kanpur, India, Subhajit Roy IIT Kanpur, India
DOI Media Attached
11:45
25m
Talk
Data Collection Requirements for Mobile Connected Health: An End User Development Approach
Mobile!
Jose Juan Dominguez Veiga Maynooth University, Ireland, Tomas E. Ward Maynooth University, Ireland
DOI Pre-print Media Attached