SANER 2026
Tue 17 - Fri 20 March 2026 Limassol, Cyprus
Wed 18 Mar 2026 15:22 - 15:29 at Megaron Gamma - Session 2C - Testing and Analysis Chair(s): Simin Sun

Smart home automation is rapidly expanding, yet existing platforms face critical usability and safety limitations. AutoIoT requires users to photograph their physical IoT devices for system configuration, creating friction through image capture rather than natural text input. RuleEngine systems generate automation rules but lack post-generation conflict checking, allowing contradictory rules that cause unpredictable device behavior and safety risks. This paper presents an AI-powered automation framework addressing both challenges through natural language processing and mandatory semantic conflict detection. The system employs a multi-layered architecture: (1) a Retrieval-Augmented Generation layer accessing SmartThings device capabilities, (2) a Gemini-powered agentic AI that autonomously selects and orchestrates specialized tools, and (3) a Pinecone vector-based semantic search layer performing conflict detection before deployment. The workflow translates plain language requests into SmartThings-compatible JSON rules and validates them against existing automations. We present a proof-of-concept implementation demonstrating detection of three conflict categories: direct contradictions, temporal illogicality, and condition overlaps. When conflicts are detected, the system provides explainable recommendations with resolution strategies. This approach eliminates image-based device setup barriers while adding critical safety validation absent in traditional rule engines, enabling safer and more accessible smart home automation.

Wed 18 Mar

Displayed time zone: Athens change

14:00 - 15:30
Session 2C - Testing and AnalysisResearch Track / Tool Demo Track / Early Research Achievement (ERA) Track / Industrial Track / Reproducibility Studies and Negative Results (RENE) Track at Megaron Gamma
Chair(s): Simin Sun Chalmers University of Technology and University of Gothenburg
14:00
15m
Talk
PiCo: Privacy-preserving Code Sanitization for Cloud-based LLMs
Research Track
Xinyuan Zhang Sun Yat-sen University, Yuhong Nan Sun Yat-sen University, Jiequan Zheng Sun Yat-sen University, Jiangrong Wu Sun Yat-sen University, Yixi Lin Sun Yat-sen University, Zibin Zheng Sun Yat-sen University
14:15
15m
Talk
Coverage-Guided Road Selection and Prioritization for Efficient Testing in Autonomous Driving Systems
Research Track
Qurban Ali University of Milano-Bicocca, Andrea Stocco Technical University of Munich, fortiss, Leonardo Mariani University of Milano-Bicocca, Oliviero Riganelli University of Milano - Bicocca
Pre-print
14:30
15m
Talk
CloudFix: Automated Policy Repair for Cloud Access Control Policies Using Large Language Models
Research Track
Bethel Hall Stevens Institute of Technology, USA, Owen Ungaro Stevens Institute of Technolgoy, William Eiers
Pre-print
14:45
15m
Talk
Search-based Testing for an Autonomous Delivery Robots Scheduler
Industrial Track
Thomas Laurent Lero@Trinity College Dublin, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics
15:00
15m
Talk
An Empirical Investigation on the use of Large Language Models for Performance Bug Detection
Reproducibility Studies and Negative Results (RENE) Track
Muhammad Imran Università degli Studi dell'Aquila, Vittorio Cortellessa University of L'Aquila, Davide Di Ruscio University of L'Aquila, Riccardo Rubei Malardalen University, Luca Traini University of L'Aquila
15:15
7m
Talk
WasmWeaver: A Framework for Runtime-Aware WebAssembly Program Generation with Reinforcement Learning
Tool Demo Track
Kilian Müller Friedrich-Alexander University Erlangen-Nürnberg (FAU), Siddharth Mane , Peter Wägemann Friedrich-Alexander University Erlangen-Nürnberg (FAU), Norman Franchi
15:22
7m
Talk
An Agentic AI Framework for Conflict-Aware Smart Home Automation via Natural Language
Early Research Achievement (ERA) Track
Sayyada Aisha Mehvish Toronto Metropolitan University, Manar Alalfi Toronto Metropolitan University