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

Software testing and debugging are often seen as tedious, making them challenging to teach effectively. We present Sojourner under Sabotage, a browser-based serious game that enhances learning through interactive, narrative-driven challenges. Players act as spaceship crew members, using unit tests and debugging techniques to fix sabotaged components. Sojourner under Sabotage provides hands-on experience with real-world testing frameworks, improving student engagement, test coverage, and debugging skills.

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.

:
:
:
: