Internetware 2025
Fri 20 - Sun 22 June 2025 Trondheim, Norway
co-located with FSE 2025

Testing Autonomous Driving Systems (ADS) is critical to ensure their safety and reliability in dynamic and unpredictable real-world driving environments. In the literature, many scenario-based ADS testing solutions have been proposed to generate safety-critical driving scenarios. Along a similar research line, in this paper, we present a tool, named LiveTCM, which has a web-based model editor for specifying and executing Test Case Specifications (TCS). LiveTCM also has an extensible engine for enabling the generation of TCS via real-time communication with the ADS (i.e., the system under test) situated in a simulated ADS driving environment. Videos illustrating the capabilities of LiveTCM can be found at: https://github.com/WSE-Lab/LiveTCM.

Sat 21 Jun

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

14:00 - 15:30
Session8: Software Vulnerability and Security IIIResearch Track / New Idea Track / Tool Demonstration Track at Cosmos 3C
Chair(s): Lingfeng Bao Zhejiang University
14:00
15m
Talk
VDLS: A Vulnerability Detection Approach Based on Execution Path Selection
Research Track
Xuanyan Zhu Nanjing University of Aeronautics and Astronautics, Jingxuan Zhang Nanjing University of Aeronautics and Astronautics, Yixuan Tang Nanjing University of Aeronautics and Astronautics, Weiqin Zou Nanjing University of Aeronautics and Astronautics, Jiayi Li Nanjing University of Aeronautics and Astronautics, Han Luo Nanjing University of Aeronautics and Astronautics, Jiaqi Liu National Key Laborarory on Test Physics & Numerical Mathematics
14:15
15m
Talk
Exploring Typo Squatting Threats in the Hugging Face Ecosystem
Research Track
Ningyuan Li Beijing University of Technology, Yanjie Zhao Huazhong University of Science and Technology, Shenao Wang Huazhong University of Science and Technology, Zehao Wu Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology
14:30
15m
Talk
Unraveling the Characterization and Propagation of Security Vulnerabilities in TensorFlow-based Deep Learning Software Supply Chain
Research Track
Yiren Zhou Nanjing University of Aeronautics and Astronautics, Lina Gong Nanjing University of Aeronautics and Astronautic, Tiantian Ma Nanjing University of Aeronautics and Astronautics
File Attached
14:45
15m
Talk
Seeing is (Not) Believing: The Mirage Card Attack Targeting Online Social Networks
Research Track
Wangchenlu Huang Beijing university of posts and telecommunications, Shenao Wang Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Tianxiang Wang China United Network Communications Group Corporation Limited, Yuhao Gao China United Network Communications Group Corporation Limited, Guosheng Xu Beijing University of Posts and Telecommunications, Haoyu Wang Huazhong University of Science and Technology
15:00
10m
Talk
ETrace : Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis
New Idea Track
Chenyang Peng Xi'an Jiaotong University, Haijun Wang Xi'an Jiaotong University, Yin Wu Xi'an Jiaotong University, Hao Wu Xi'an JiaoTong University, Ming Fan Xi'an Jiaotong University, Yitao Zhao Yunnan Power Grid Co., Ltd, Ting Liu Xi'an Jiaotong University
Pre-print
15:10
10m
Talk
A Natural Language Guided Adaptive Model-based Testing Tool for Autonomous Driving
Tool Demonstration Track
Man Zhang Beihang University, China, Shi Yize Nanjing University of Aeronautics and Astronautics, Tao Yue Beihang University
15:20
10m
Talk
Software Reuse in the Generative AI Era: From Cargo Cult Towards Systematic PracticesBest New Idea Paper Award
New Idea Track
Tommi Mikkonen University of Jyväskylä, Antero Taivalsaari Nokia Technologies

Information for Participants
Sat 21 Jun 2025 14:00 - 15:30 at Cosmos 3C - Session8: Software Vulnerability and Security III Chair(s): Lingfeng Bao
Info for room Cosmos 3C:

Cosmos 3C is the third room in the Cosmos 3 wing.

When facing the main Cosmos Hall, access to the Cosmos 3 wing is on the left, close to the stairs. The area is accessed through a large door with the number “3”, which will stay open during the event.

:
:
:
: