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
Times are displayed in time zone: Eastern Time (US & Canada) change

16:00 - 18:00: Model-Based Software EngineeringPapers / Journal-First Papers / Demonstrations / Technical Track / New Ideas and Emerging Results / Software Engineering in Practice at Van-Horne
Chair(s): Yvonne DittrichIT University of Copenhagen, Denmark
16:00 - 16:20
Strategies and Best Practices for Model-based Systems Engineering Adoption in Embedded Systems IndustrySEIPIndustry Program
Software Engineering in Practice
Tiago AmorimTU Berlin, Andreas VogelsangTU Berlin, Florian PudlitzTU Berlin, Peter GersingGPP, Jan Philippsfoqee GmbH
16:20 - 16:40
VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific ModelsDemosIndustry Program
Oszkár SemeráthBudapest University of Technology and Economics, Aren BabikianMcGill University, Sebastian PilarskiMcGill University, Daniel VarroMcGill University / Budapest University of Technology and Economics
Media Attached File Attached
16:40 - 17:00
Practical GUI Testing of Android Applications via Model Abstraction and RefinementTechnical Track
Technical Track
Tianxiao GuAlibaba Group, Chengnian SunUniversity of California, Davis, Xiaoxing MaNanjing University, Chun CaoNanjing University, Chang XuNanjing University, Yao-Yuan Yang, Qirun ZhangGeorgia Institute of Technology, Jian LuNanjing University, Zhendong SuETH Zurich
17:00 - 17:20
AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL PropertiesArtifacts AvailableArtifacts Evaluated ReusableTechnical Track
Technical Track
Lefan ZhangThe University of Chicago, Weijia HeThe University of Chicago, Jesse MartinezThe University of Chicago, Noah BrackenburyThe University of Chicago, Shan LuUniversity of Chicago, Blase UrThe University of Chicago
17:20 - 17:30
Towards a Cognizant Virtual Software Modeling Assistant using Model ClonesNIER
New Ideas and Emerging Results
Matthew StephanMiami University
17:30 - 17:40
A Model-Integrated Approach to Designing Self-Protecting SystemsJournal-First
Journal-First Papers
Stefano IannucciMississippi State University, Sherif AbdelwahedVirginia Commonwealth University, Andrea MontemaggioMississippi State University, Melissa HannisMississippi State University, Leslie LeonardU.S. Army Engineer Research and Development Center (ERDC), Jason KingU.S. Army Engineer Research and Development Center (ERDC), Drew HamiltonMississippi State University, CCI
17:40 - 17:50
Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and ControllersJournal-First
Journal-First Papers
Khaled El-FakihAmerican University of Sharjah, Gregor BochmannU. of Ottawa
17:50 - 18:00
Discussion Period