Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 16:40 - 17:00 at Van-Horne - Model-Based Software Engineering Chair(s): Yvonne Dittrich

This paper introduces a new, fully automated model-based approach for effective testing of Android apps. Different from existing model-based approaches that guide testing with a static GUI model (i.e., the model does not evolve its abstraction during testing, and is thus often imprecise), our approach dynamically optimizes the model by leveraging the runtime information during testing. This capability of model evolution significantly improves model precision, and thus dramatically enhances the testing effectiveness compared to existing approaches, which our evaluation confirms. We have realized our technique in a practical tool, Ape. On 15 large, widely-used apps from the Google Play Store, Ape outperforms the state-of-the-art Android GUI testing tools in terms of both testing coverage and the number of detected unique crashes. To further demonstrate Ape’s effectiveness and usability, we conduct another evaluation of Ape on 1,316 popular apps, where it found 537 unique crashes. Out of the 38 reported crashes, 13 have been fixed and 5 have been confirmed.

Wed 29 May

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

16:00 - 18:00
Model-Based Software EngineeringJournal-First Papers / Demonstrations / Papers / Technical Track / New Ideas and Emerging Results / Software Engineering in Practice at Van-Horne
Chair(s): Yvonne Dittrich IT University of Copenhagen, Denmark
16:00
20m
Talk
Strategies and Best Practices for Model-based Systems Engineering Adoption in Embedded Systems IndustrySEIPIndustry Program
Software Engineering in Practice
Tiago Amorim TU Berlin, Andreas Vogelsang TU Berlin, Florian Pudlitz TU Berlin, Peter Gersing GPP, Jan Philipps foqee GmbH
Pre-print
16:20
20m
Talk
VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific ModelsDemosIndustry Program
Demonstrations
Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian McGill University, Sebastian Pilarski McGill University, Daniel Varro McGill University / Budapest University of Technology and Economics
Media Attached File Attached
16:40
20m
Talk
Practical GUI Testing of Android Applications via Model Abstraction and RefinementTechnical Track
Technical Track
Tianxiao Gu Alibaba Group, Chengnian Sun University of California, Davis, Xiaoxing Ma Nanjing University, Chun Cao Nanjing University, Chang Xu Nanjing University, Yao-Yuan Yang , Qirun Zhang Georgia Institute of Technology, Jian Lu Nanjing University, Zhendong Su ETH Zurich
17:00
20m
Talk
AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL PropertiesArtifacts AvailableArtifacts Evaluated ReusableTechnical Track
Technical Track
Lefan Zhang The University of Chicago, Weijia He The University of Chicago, Jesse Martinez The University of Chicago, Noah Brackenbury The University of Chicago, Shan Lu University of Chicago, Blase Ur The University of Chicago
17:20
10m
Talk
Towards a Cognizant Virtual Software Modeling Assistant using Model ClonesNIER
New Ideas and Emerging Results
Matthew Stephan Miami University
Pre-print
17:30
10m
Talk
A Model-Integrated Approach to Designing Self-Protecting SystemsJournal-First
Journal-First Papers
Stefano Iannucci Mississippi State University, Sherif Abdelwahed Virginia Commonwealth University, Andrea Montemaggio Mississippi State University, Melissa Hannis Mississippi State University, Leslie Leonard U.S. Army Engineer Research and Development Center (ERDC), Jason King U.S. Army Engineer Research and Development Center (ERDC), Drew Hamilton Mississippi State University, CCI
17:40
10m
Talk
Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and ControllersJournal-First
Journal-First Papers
Khaled El-Fakih American University of Sharjah, Gregor Bochmann U. of Ottawa
17:50
10m
Talk
Discussion Period
Papers