ASE 2023
Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg
Thu 14 Sep 2023 13:54 - 14:06 at Plenary Room 2 - Software Testing for Specialized Systems 3 Chair(s): Xiaoyin Wang

Rigorous testing of Small Uncrewed Aerial Systems (sUAS) is crucial to ensure their safe and reliable deployment in the real world. sUAS developers aim to validate the reliability and safety of their applications through simulation testing. However, the dynamic nature of the real-world environment, including factors such as challenging weather conditions and wireless interference, causes unique software faults that may only be revealed through field testing. Considering the high cost and impracticality of conducting field testing in thousands of environmental contexts and conditions, there exists a pressing need to develop automated techniques that can generate high-fidelity, realistic environments enabling sUAS developers to deploy their applications and conduct thorough simulation testing in close-to-reality environmental conditions. To address this need, DroneWorld offers a comprehensive small Unmanned Aerial Vehicle (sUAV) simulation ecosystem that automatically generates realistic environments based on developer-specified constraints, monitors sUAV activities against predefined safety parameters, and generates detailed acceptance test reports for effective debugging and analysis of sUAV applications. Providing these capabilities, DroneWorld offers a valuable solution for enhancing the testing and development process of sUAV applications. The comprehensive demo of DroneWorld is available at https://youtu.be/RUsXYMi9rWs

DroneWorld: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Vehicle Developers (2308.00174.pdf)5.66MiB

Thu 14 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
Software Testing for Specialized Systems 3Journal-first Papers / Tool Demonstrations / Research Papers at Plenary Room 2
Chair(s): Xiaoyin Wang University of Texas at San Antonio
13:30
12m
Talk
An Image is Worth a Thousand Toxic Words: A Metamorphic Testing Framework for Content Moderation Software
Research Papers
Wenxuan Wang Chinese University of Hong Kong, Jingyuan Huang Chinese University of Hong Kong, Jen-tse Huang The Chinese University of Hong Kong, Chang Chen Chinese University of Hong Kong, Jiazhen Gu Chinese University of Hong Kong, Pinjia He Chinese University of Hong Kong, Shenzhen, Michael Lyu The Chinese University of Hong Kong
File Attached
13:42
12m
Talk
CoMSA: A modeling driven sampling approach for configuration performance testing
Research Papers
Yuanjie Xia University of Waterloo, Zishuo Ding University of Waterloo, Weiyi Shang University of Waterloo
Pre-print Media Attached
13:54
12m
Talk
DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers
Tool Demonstrations
Bohan Zhang Saint Louis University, Missouri, Yashaswini Shivalingaiah Saint Louis University, Missouri, Ankit Agrawal Saint Louis University, Missouri
Pre-print Media Attached File Attached
14:06
12m
Talk
Effective Concurrency Testing for Go via Directional Primitive-constrained Interleaving Exploration
Research Papers
Zongze Jiang Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Yixin Yang Huazhong University of Science and Technology, Chao Peng ByteDance, China, Ping Yang Bytedance Network Technology, Hai Jin Huazhong University of Science and Technology
File Attached
14:18
12m
Talk
Fuzzing for CPS Mutation Testing
Research Papers
Jaekwon Lee University of Luxembourg, Luxembourg, Enrico Viganò University of Luxembourg, Oscar Cornejo University of Milano Bicocca, Italy, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa
Pre-print File Attached
14:30
12m
Talk
MUT4SLX: Fast Mutation Testing for Simulink
Tool Demonstrations
Halil Ibrahim Ceylan University of Antwerp, Onur Kilincceker University of Antwerp and Flanders Make vzw, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp; Flanders Make
Media Attached File Attached
14:42
12m
Talk
Machine learning-based test selection for simulation-based testing of self-driving cars software
Journal-first Papers
Christian Birchler Zurich University of Applied Sciences, Sajad Khatiri USI-Lugnao & Zurich University of Applied Sciences, Bill Bosshard Meier Planungsdienste GmbH, Alessio Gambi IMC University of Applied Sciences Krems, Sebastiano Panichella Zurich University of Applied Sciences