Regression Aware Debugging for Mobile Applications
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 Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 10:55 Talk | Persistent Contextual Values as Inter-process Layers Mobile! Markus RaabVienna University of Technology, Austria Link to publication DOI Pre-print Media Attached | ||
10:55 - 11:20 Talk | Hacking with Multi-touch for Java (MT4j) Mobile! A: Craig AnslowMiddlesex University, UK, A: Stuart MarshallVictoria University of Wellington, New Zealand, A: James NobleVictoria University of Wellington, New Zealand, A: Robert BiddleCarleton University, Canada DOI Pre-print File Attached | ||
11:20 - 11:45 Talk | Regression Aware Debugging for Mobile Applications Mobile! DOI Media Attached | ||
11:45 - 12:10 Talk | Data Collection Requirements for Mobile Connected Health: An End User Development Approach Mobile! DOI Pre-print Media Attached |