This program is tentative and subject to change.
Prior work has developed numerous systems that test the security and safety of smart homes. For these systems to be applicable in practice, it is necessary to test them with realistic scenarios that represent the use of the smart home, i.e., home automation, in the wild. This demo paper presents the technical details and usage of Helion, a system that uses n-gram language modeling to learn the regularities in user-driven programs, i.e., routines developed for the smart home, and predicts natural scenarios of home automation, i.e., event sequences that reflect realistic home automation usage. We demonstrate the HelionHA platform, developed by integrating Helion with the popular Home Assistant smart home platform. HelionHA allows an end-to-end exploration of Helion’s scenarios by executing them as test cases with real and virtual smart home devices.
This program is tentative and subject to change.
Wed 6 DecDisplayed time zone: Pacific Time (US & Canada) change
11:00 - 12:30 | Testing IIIIndustry Papers / Demonstrations / Research Papers at Golden Gate C1 Chair(s): Tianyi Zhang Purdue University | ||
11:00 15mTalk | NeuRI: Diversifying DNN Generation via Inductive Rule Inference Research Papers Jiawei Liu University of Illinois at Urbana-Champaign, Jinjun Peng Columbia University, Yuyao Wang Nanjing University, Lingming Zhang University of Illinois at Urbana-Champaign Pre-print | ||
11:15 15mTalk | Appaction: Automatic GUI Interaction for Mobile Apps via Holistic Widget Perception Industry Papers Yongxiang Hu Fudan University, China, Jiazhen Gu Fudan University, China, Shuqing Hu Fudan University, Yu Zhang Meituan, Wenjie Tian Meituan, Shiyu Guo Meituan, Chaoyi Chen Meituan, Yangfan Zhou Fudan University DOI | ||
11:30 15mTalk | [Remote] Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support Research Papers Yibiao Yang State Key Laboratory for Novel Software Technology, Nanjing University, Maolin Sun Nanjing University, Yang Wang National Key Laboratory for Novel Software Technology, Nanjing University, Qingyang Li National Key Laboratory for Novel Software Technology, Nanjing University, Ming Wen Huazhong University of Science and Technology, Yuming Zhou Nanjing University Pre-print | ||
11:45 15mTalk | MuRS: Mutant Ranking and Suppression using Identifier Templates Industry Papers Zimin Chen KTH Royal Institute of Technology, Malgorzata Salawa Google, Manushree Vijayvergiya Google, Goran Petrović Google Inc, Marko Ivanković Google; Universität Passau, René Just University of Washington DOI | ||
12:00 7mTalk | Helion: Enabling Natural Testing of Smart Homes Demonstrations Prianka Mandal William & Mary, Sunil Manandhar IBM T.J. Watson Research Center, Kaushal Kafle College of William & Mary, Kevin Moran University of Central Florida, Denys Poshyvanyk William & Mary, Adwait Nadkarni William & Mary | ||
12:08 7mTalk | [Remote] Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned Industry Papers Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Tao Yue Beihang University, Kjetil Moberg Norwegian Health Authority DOI Pre-print | ||
12:15 15mTalk | Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer Research Papers Shubham Agarwal Adobe Research, Sarthak Chakraborty Adobe Research, Shaddy Garg Adobe Research, Sumit Bisht Amazon, Chahat Jain Traceable.ai, Ashritha Gonuguntla Cisco, Shiv Saini Adobe Research | ||