ASE 2025
Sun 16 - Thu 20 November 2025 Seoul, South Korea

This program is tentative and subject to change.

Regression testing is essential for software maintenance, but is often underrepresented in higher education. This study examines the understanding and application of regression testing among 176 third-year computer science students. Using the Goal-Question-Metric (GQM) framework, we conducted an empirical study with three tasks: test suite creation, bug fixing, and regression test selection, alongside questionnaires with open-ended, closed-ended, and Likert-scale responses. Results show that students mainly selected tests based on changes, affected methods, and dependencies, while reporting positive experiences with teamwork, problem-solving, and skill development. The findings highlight the value of hands-on, collaborative activities in reinforcing both technical and soft skills, suggesting that structured regression exercises can bridge the gap between academic instruction and industry needs.

This program is tentative and subject to change.

Sun 16 Nov

Displayed time zone: Seoul change

10:30 - 12:30
Verification, Testing, and Model-Driven EngineeringASYDE at Grand Hall 2
10:30
20m
Full-paper
BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage
ASYDE
Markus Krahl Munich University of Applied Sciences, Matthias Güdemann University of Applied Sciences Munich, Stefan Wallentowitz University of Applied Sciences Munich
10:50
20m
Full-paper
Improving Automated Program Verification for Java Programs with Fuzzing
ASYDE
Soha Hussein Ain Shams University, Egypt, Stephen McCamant University of Minnesota, USA
11:10
20m
Full-paper
ForeSPECT: A Model-Driven Framework for Validation and Traceability in Forecasting Systems
ASYDE
Rijul Saini NAV CANADA
11:30
20m
Full-paper
Regression Testing Skill Transfer to Industry: A Preliminary Study in Higher Education
ASYDE
Andrada-Mihaela-Nicoleta Moldovan University Babeș-Bolyai, Andreea Vescan Babes-Bolyai University
11:50
15m
Short-paper
VeriODD: From YAML to SMT-LIB – Automating Verification of Operational Design Domains
ASYDE
Bassel Rafie Institute for Software and Systems Engineering, Clausthal University of Technology, Christian Schindler Institute for Software and Systems Engineering, Clausthal University of Technology, Andreas Rausch
12:05
15m
Short-paper
MicroViSim: Simulation and Visualization of Kubernetes-Based Microservice Systems
ASYDE
Wei-Kai Lin National Taiwan Ocean University, Shang-Pin Ma National Taiwan Ocean University, Shin-Jie Lee National Cheng Kung University, Wen-Tin Lee National Taiwan Normal University