AST 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Mon 28 Apr 2025 15:00 - 15:30 at 211 - Session 2: Test Generation

Documenting the functionality of software units with code comments, e.g., Javadoc comments, is a common programmer best-practice in software engineering. This paper introduces a novel test generation technique that exploits the code-comment documentation constructively. We originally address those behaviors as test objectives, which we pursue in search-based fashion. We deliver test cases with names and oracles properly contextualized on the target behaviors. Our experiments against a benchmark of 118 Java classes indicate that the proposed approach successfully tests many software behaviors that may remain untested with classic test generation approaches, and distinctively detects unknown failures.

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
Session 2: Test GenerationAST 2025 at 211

Session chair: Christof Budnik

14:00
30m
Full-paper
Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic
AST 2025
Clinton Cao Delft University of Technology, Annibale Panichella Delft University of Technology, Sicco Verwer TU Delft
Pre-print
14:30
30m
Full-paper
Automated Test Generation for Integration Testing
AST 2025
Elson Kurian University of Milano Bicocca, Luca Guglielmo Università degli Studi di Milano-Bicocca, Pietro Braione University of Milano-Bicocca, Giovanni Denaro University of Milano - Bicocca
15:00
30m
Full-paper
Automated Test Generation from Program Documentation Encoded in Code Comments
AST 2025
Giovanni Denaro University of Milano - Bicocca, Luca Guglielmo Università degli Studi di Milano-Bicocca
Pre-print
:
:
:
: