How Users Interpret Bugs in Trigger-Action Programming
Will Brackenbury,Abhimanyu Deora,Jillian Ritchey,Jason Vallee,Weijia He,Guan Wang,Michael L. Littman,Blase Ur +7 more
- 02 May 2019
- pp 552
TL;DR: This work systematizes the temporal paradigms through which TAP systems could express rules and identifies ten classes of TAP programming bugs related to control flow, timing, and inaccurate user expectations, and suggests directions for better supporting end-user programmers.
read more
Abstract: Trigger-action programming (TAP) is a programming model enabling users to connect services and devices by writing if-then rules. As such systems are deployed in increasingly complex scenarios, users must be able to identify programming bugs and reason about how to fix them. We first systematize the temporal paradigms through which TAP systems could express rules. We then identify ten classes of TAP programming bugs related to control flow, timing, and inaccurate user expectations. We report on a 153-participant online study where participants were assigned to a temporal paradigm and shown a series of pre-written TAP rules. Half of the rules exhibited bugs from our ten bug classes. For most of the bug classes, we found that the presence of a bug made it harder for participants to correctly predict the behavior of the rule. Our findings suggest directions for better supporting end-user programmers.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
AutoTap: synthesizing and repairing trigger-action programs using LTL properties
Lefan Zhang,Weijia He,Jesse Martinez,Noah Brackenbury,Shan Lu,Blase Ur +5 more
- 25 May 2019
TL;DR: It is shown that novice users made significantly fewer mistakes when expressing desired behaviors using AutoTap than using TAP rules, showing that AutoTap is a simple and effective option for expressive end-user programming.
72
Towards a Natural Perspective of Smart Homes for Practical Security and Safety Analyses
Sunil Manandhar,Kevin Moran,Kaushal Kafle,Ruhao Tang,Denys Poshyvanyk,Adwait Nadkarni +5 more
- 18 May 2020
TL;DR: The design and implementation of Hεlion is described, a framework that generates natural home automation scenarios by identifying the regularities in user-driven home automation sequences, which are in turn generated from routines created by end-users.
Programmable Smart Home Toolkits Should Better Address Households’ Social Needs
Antti Salovaara,Andrea Bellucci,Andrea Vianello,Giulio Jacucci +3 more
- 06 May 2021
TL;DR: In this article, the authors conducted a six-week in-the-wild study of smart-home toolkits with four carefully recruited technology-savvy families and evaluated use experiences at the end of the six weeks.
28
PFirewall: Semantics-Aware Customizable Data Flow Control for Smart Home Privacy Protection.
Haotian Chi,Qiang Zeng,Xiaojiang Du,Lannan Luo +3 more
- 01 Jan 2021
TL;DR: E evaluation results on four real-world testbeds show that PFirewall reduces IoT data sent to the platform by 97% without impairing home automation, and effectively mitigates user-activity inference/tracking attacks and other privacy risks.
A Survey on IoT-Enabled Home Automation Systems: Attacks and Defenses
TL;DR: A comprehensive survey of the state-of-the-art literature on home automation system security from aspects of attack and defense is presented in this article , with an explicit analysis of vulnerabilities exploited by these attacks.
23
References
Cognitive Reflection and Decision Making
TL;DR: This paper introduced a three-item Cognitive Reflection Test (CRT) as a simple measure of one type of cognitive ability, i.e., the ability or disposition to reflect on a question and resist reporting the first response that comes to mind.
•Book
Brainstorms: Philosophical Essays on Mind and Psychology
Daniel C. Dennett
- 01 Jan 1978
TL;DR: This book questions the relationship between psychology and morality as well as exploring the concept of human intentionality, and argues that intentional attributes such as desires, goals, beliefs and knowledge are purely mechanistic.
1.7K
The state of the art in end-user software engineering
Amy J. Ko,Robin Abraham,Laura Beckwith,Alan F. Blackwell,Margaret Burnett,Martin Erwig,Christopher Scaffidi,Joseph Lawrance,Henry Lieberman,Brad A. Myers,Mary Beth Rosson,Gregg Rothermel,Mary Shaw,Susan Wiedenbeck +13 more
TL;DR: This article summarizes and classifies research on end-user software engineering activities, defining the area of End-User Software Engineering (EUSE) and related terminology, and addresses several crosscutting issues in the design of EUSE tools.
End-User Development: An Emerging Paradigm
Henry Lieberman,Fabio Paternò,Markus Klann,Volker Wulf +3 more
- 01 Jan 2006
TL;DR: Over the next few years, the goal of interactive systems and services will evolve from just making systems easy to use to making systems that are easy to develop by end users, based on a multidisciplinary approach involving several types of expertise.
Designing the whyline: a debugging interface for asking questions about program behavior
Amy J. Ko,Brad A. Myers +1 more
- 25 Apr 2004
TL;DR: The Whyline is a prototype Interrogative Debugging interface for the Alice programming environment that visualizes answers in terms of runtime events directly relevant to a programmer's question.
Related Papers (5)
Justin Huang,Maya Cakmak +1 more
- 07 Sep 2015
Qi Wang,Wajih Ul Hassan,Adam Bates,Carl A. Gunter +3 more
- 01 Feb 2018