ISSTA 2025
Wed 25 - Sat 28 June 2025 Trondheim, Norway
co-located with FSE 2025
Fri 27 Jun 2025 14:00 - 14:25 at Cosmos 3C - Gamification, Specifications, and Code Reviews Chair(s): Michael Pradel

It is hard to mine high-quality finite-state automata (FSAs) only from positive examples because of a search space explosion and an overgeneralization problem induced by a lack of negative examples. To tackle the overgeneralization problem, we suggest modeling the problem as searching for approximate FSAs from positive and negative examples with noise, where the noise originates from synthetic negative examples used to reject overgeneralized results. To obtain an effective search bias in the exploding search space and alleviate the wrong search bias resulting from noise, we bridge FSA acceptance to neural network inference. Our key contribution is to design a neural network whose parameter assignment corresponds to an FSA, and its neural inference process, named after neural acceptance, is able to simulate FSA acceptance. The neural acceptance provides a way to efficiently quantify how well an FSA fits noisy data. We propose NADA, a neural acceptance-driven approach, to directly search approximate FSAs guided by accepting positive examples and rejecting synthetic negative examples. NADA is based on a proper continuous relaxation of the discrete search space of FSAs and an efficient gradient descent-based search algorithm. Experimental results demonstrate that, compared with state-of-the-art approaches, NADA significantly improves the quality of mined FSAs (on average improves $41.63$% F1 score). Besides, NADA is $19.8$X faster than the approach mining sub-high-quality FSAs.

Fri 27 Jun

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

14:00 - 15:30
Gamification, Specifications, and Code ReviewsResearch Papers / Tool Demonstrations at Cosmos 3C
Chair(s): Michael Pradel University of Stuttgart
14:00
25m
Talk
NADA: Neural Acceptance-driven Approximate Specification Mining
Research Papers
Weilin Luo Sun Yat-sen University, Tingchen Han Sun Yat-Sen University, Junming Qiu Sun Yat-sen University, Hai Wan Sun Yat-sen University, Jianfeng Du Guangdong University of Foreign Studies, Bo Peng Sun Yat-Sen University, Guohui Xiao Southeast University, Yanan Liu SUN YAT-SEN UNIVERSITY
DOI
14:25
25m
Talk
Gamifying Testing in IntelliJ: A Replicability Study
Research Papers
Philipp Straubinger University of Passau, Tommaso Fulcini Politecnico di Torino, Giacomo Garaccione Politecnico di Torino, Luca Ardito Politecnico di Torino, Gordon Fraser University of Passau
DOI
14:50
25m
Talk
DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Research Papers
Yuan Xiao Nanjing University, Yuchen Chen Nanjing University, Shiqing Ma University of Massachusetts at Amherst, Haocheng Huang Soochow University, Chunrong Fang Nanjing University, Yanwei Chen Nanjing University, Weisong Sun Nanyang Technological University, Yunfeng Zhu Nanjing University, Xiaofang Zhang Soochow University, Zhenyu Chen Nanjing University
DOI Pre-print
15:15
15m
Demonstration
Teaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage
Tool Demonstrations
Philipp Straubinger University of Passau, Tim Greller University of Passau, Gordon Fraser University of Passau

Information for Participants
Fri 27 Jun 2025 14:00 - 15:30 at Cosmos 3C - Gamification, Specifications, and Code Reviews Chair(s): Michael Pradel
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.

:
:
:
: