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

16:00 - 18:00: Papers - Model-Based Software Engineering at Van-Horne
Chair(s): Yvonne DittrichIT University of Copenhagen, Denmark
icse-2019-Software-Engineering-in-Practice16:00 - 16:20
Tiago AmorimTU Berlin, Andreas VogelsangTU Berlin, Florian PudlitzTU Berlin, Peter GersingGPP, Jan Philippsfoqee GmbH
icse-2019-Demonstrations16:20 - 16:40
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
icse-2019-Technical-Papers16:40 - 17:00
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
icse-2019-Technical-Papers17:00 - 17:20
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
icse-2019-New-Ideas-and-Emerging-Reults17:20 - 17:30
Matthew StephanMiami University
icse-2019-Journal-First-Paper17:30 - 17:40
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
icse-2019-Journal-First-Paper17:40 - 17:50
Khaled El-FakihAmerican University of Sharjah, Gregor BochmannU. of Ottawa
icse-2019-Paper-Presentations17:50 - 18:00