ICSE 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada
Sun 27 Apr 2025 09:15 - 10:30 at 202 - Morning Session 1 Chair(s): Aymeric Blot, Justyna Petke

Given either a specification written in natural language or an input program, automated program generation techniques produce a program according to the given specification or by modifying the input program. Automated program generation is a powerful technique that can be used for finding bugs in software systems that take programs as input or fixing bugs in the input programs. However, most existing techniques focus on automated program generation for automated program repair or program synthesis. This talk introduces a different perspective of automated program generation where we will discuss our latest results on automated program generation for testing static program analyzers by designing different types of program transformations. We will also explore and rethink about the automated program generation problem from the tester perspective. The new perspective could have huge potential for the design of new genetic improvement techniques to improve programs for automated program generation.

Sun 27 Apr

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

09:00 - 10:30
Morning Session 1GI at 202
Chair(s): Aymeric Blot University of Rennes, IRISA / INRIA, Justyna Petke University College London
09:00
15m
Day opening
Welcome and Introductions
GI
Aymeric Blot University of Rennes, IRISA / INRIA, Vesna Nowack Imperial College London, Oliver Krauss University of Applied Sciences Upper Austria, Penn Rainford University of York, UK
09:15
75m
Keynote
Put on Your Tester Hat: Improving programs for Automated Program Generation
GI
Shin Hwei Tan Concordia University