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

End-user programming, particularly trigger-action programming (TAP), is a popular method of letting users express their intent for how smart devices and cloud services interact. Unfortunately, in some situations it can be challenging for users to correctly express their desires through TAP. This paper presents AutoTap, a system that lets novice users easily specify desired properties for devices and services. AutoTap translates these properties to linear temporal logic (LTL) and both automatically synthesizes property-satisfying TAP rules from scratch and repairs existing TAP rules. We designed AutoTap based on a user study mapping the properties users wish to express. Through a second user study, we show that novice users are significantly more likely to express some desired behaviors correctly using AutoTap than using TAP rules. From our benchmarks and experiments, we find AutoTap is a simple and effective option for correct and expressive end-user programming.

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