Put on Your Tester Hat: Improving programs for Automated Program Generation
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 AprDisplayed 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 15mDay 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 75mKeynote | Put on Your Tester Hat: Improving programs for Automated Program Generation GI Shin Hwei Tan Concordia University |