APSEC 2024
Tue 3 - Fri 6 December 2024 China

This program is tentative and subject to change.

Wed 4 Dec 2024 14:00 - 17:30 at Grand Hall Foyer - Posters

Black-box testing plays an essential role in the quality assurance of software development, focusing on the external behavior of systems without considering their internal structures. The Cause-Effect Graph (CEG) is a black-box testing technique that visualizes the relationships between system inputs and outputs in terms of causes and effects. Originally developed for addressing complex logical scenarios in testing, CEG is applied across diverse fields, including hardware testing and software safety assessments. Despite its utility, creating CEGs is labor-intensive and demands substantial expertise. Existing techniques to generate CEGs face challenges in handling natural language specifications and offer limited scope of application. This study presents a novel method employing Large Language Models (LLMs) to generate CEGs from natural language specifications. The proposed approach utilizes LLMs to create truth tables from specification statements and subsequently constructs CEGs through algorithmic processes, making it easier for non-experts to generate valid CEGs. The effectiveness of the method is evaluated through ten problems from a tester training book, with a 52% success rate in producing error-free CEGs.

This program is tentative and subject to change.

Wed 4 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

14:00 - 17:30
14:00
3h30m
Poster
A two-stage approach for GitHub issue links identification and classification (Poster)
ERA - Early Research Achievements
Yingying He Nanjing University of Aeronautics and Astronautics, Wenhua Yang Nanjing University of Aeronautics and Astronautics
14:00
3h30m
Poster
AFLGo_D: A Novel Power Schedule Scheme Considering Multiple Factors Dynamically for Directed Fuzzing (Poster)
Technical Track
Wang Jiaxin , Zhitao He School of Computer Science and Engineering, Beihang University
14:00
3h30m
Poster
MRTCNN: A Lightweight Approach for Predicting Metamorphic Relations (Poster)
Technical Track
Bo Yang Beijing Forestry University, Huai Liu Swinburne University of Technology, Xu Wang North China University of Technology
14:00
3h30m
Poster
Arising Challenges for Assuring Maritime Software Reliability in the AI Era (Poster)
ERA - Early Research Achievements
14:00
3h30m
Poster
Smells of Misunderstanding in File Path Patterns within Dockerignore (Poster)
ERA - Early Research Achievements
Tomoki Nakamaru The University of Tokyo
14:00
3h30m
Poster
Efficient Floating-point Error Detection for Numerical Programs via Error-Free Transformations (Poster)
ERA - Early Research Achievements
Wei Yao Changsha University of Science & Technology, Zhang Jingke National University of Defense Technology;Changsha University of Science & Technology, Xin Yi National University of Defense Technology
14:00
3h30m
Poster
Difference Syntax Trees for Characterising Student in Programming Course (Poster)
ERA - Early Research Achievements
Kouta Aoki National Institute of Technology (KOSEN), Nara College, Hidetake Uwano National Institute of Technology, Nara College, Japan
14:00
3h30m
Poster
CEGen: Cause-Effect Graph Generation Using Large Language Models (Poster)
Technical Track