Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Fri 31 May 2019 16:40 - 17:00 at Van-Horne - Program Transformations Chair(s): Cindy Rubio-González

Dynamic program slicing is useful for a variety of tasks, from testing to debugging to security. Prior slicing approaches have targeted traditional desktop/server platforms, rather than mobile platforms such as Android. Slicing mobile, event-based systems is challenging due to their asynchronous callback construction and the IPC (interprocess communication)- heavy, sensor-driven, timing-sensitive nature of the platform. To address these problems, we introduce AndroidSlicer, the first slicing approach for Android. AndroidSlicer combines a novel asynchronous slicing approach for modeling data and control dependences in the presence of callbacks with lightweight and precise instrumentation; this allows slicing for apps running on actual phones, and without requiring the app’s source code. Our slicer is capable of handling a wide array of inputs that Android supports without adding any noticeable overhead. Experiments on 60 apps from Google Play show that AndroidSlicer is effective (reducing the number of instructions to be examined to 0.3% of executed instructions) and efficient (app instrumentation and post-processing combined takes 31 seconds); all while imposing a runtime overhead of just 4%. We present three applications of AndroidSlicer that are particularly relevant in the mobile domain: (1) finding and tracking input parts responsible for an error/crash, (2) fault localization, i.e., finding the instructions responsible for an error/crash, and (3) reducing the regression test suite. Experiments with these applications on an additional set of 18 popular apps indicate that AndroidSlicer is effective for Android testing and debugging.

Fri 31 May

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:20
Program TransformationsNew Ideas and Emerging Results / Technical Track / Papers at Van-Horne
Chair(s): Cindy Rubio-González University of California, Davis
16:00
20m
Talk
Global Optimization of Numerical Programs via Prioritized Stochastic Algebraic TransformationsArtifacts AvailableTechnical Track
Technical Track
Xie Wang Nanjing University, Huaijin Wang Nanjing University, Zhendong Su ETH Zurich, Enyi Tang Nanjing University, Xin Chen Nanjing University, Weijun Shen Nanjing University, Zhenyu Chen Nanjing University, Linzhang Wang , Xianpei Zhang Nanjing University, Xuandong Li Nanjing University
16:20
20m
Talk
Type Migration in Ultra-Large-Scale CodebasesArtifacts Evaluated ReusableTechnical Track
Technical Track
Ameya Ketkar Oregon State University, USA, Ali Mesbah University of British Columbia, Davood Mazinanian University of British Columbia, Danny Dig School of EECS at Oregon State University, Eddie Aftandilian Google
Pre-print
16:40
20m
Talk
Dynamic Slicing for AndroidTechnical Track
Technical Track
Tanzirul Azim Microsoft, USA, Arash Alavi University of California, Riverside, Iulian Neamtiu New Jersey Institute of Technology, Rajiv Gupta UC Riverside
17:00
10m
Talk
Conditional Compilation is Dead, Long Live Conditional Compilation!NIER
New Ideas and Emerging Results
Paul Gazzillo University of Central Florida, Shiyi Wei The University of Texas at Dallas
Pre-print
17:10
10m
Talk
Discussion Period
Papers