Wed 6 Dec 2023 11:23 - 11:30 at Golden Gate C1 - Testing III Chair(s): Tianyi Zhang

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.

Wed 6 Dec

Displayed 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
15m
Talk
[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 Media Attached
11:15
7m
Talk
[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 Media Attached
11:23
7m
Talk
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
Media Attached
11:30
15m
Talk
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 Media Attached
11:45
15m
Talk
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 Media Attached
12:00
15m
Talk
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 Media Attached
12:15
15m
Talk
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
Media Attached