Write a Blog >>
ICST 2022
Mon 4 - Fri 8 April 2022
Thu 7 Apr 2022 12:15 - 12:30 at Margaret Hamilton - ICST API Testing and Program Repair Chair(s): Thomas Durieux

In automated compiler testing, the focus typically lies in uncovering bugs caused by optimisations performed by the compiler. However, there is a class of compilers where little to no optimisations are performed: those for migration of legacy software. Therefore, it is not clear to what extent such legacy compilers would benefit from automated compiler testing. We investigated this in the context of the Raincode legacy compiler for PL/I, an industrial compiler targeting the .NET platform. We designed and implemented a framework for automated PL/I compiler testing through precomputation-based program generation and ran it on two versions of the Raincode PL/I compiler: an older with known bugs and the latest release. On the older version, our framework generated around 127.000 programs and found five bugs, two of which were previously unknown to us. For the latest compiler release, after 180 hours of tests and more than 718.000 generated programs, the framework did not reveal any bugs.

Thu 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:30 - 12:45
ICST API Testing and Program RepairIndustry / Research Papers at Margaret Hamilton
Chair(s): Thomas Durieux KTH
11:30
15m
Talk
Harvesting Production GraphQL Queries to Detect Schema Faults
Research Papers
Louise Zetterlund Redeye AB, Deepika Tiwari KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH
11:45
15m
Talk
Automated Repair of Responsive Web Page Layouts
Research Papers
Ibrahim Althomali The University of Sheffield, Gregory Kapfhammer Allegheny College, Phil McMinn University of Sheffield
12:00
15m
Talk
Repairing Fragile GUI Test Cases Using Word and Layout Embedding
Industry
Juyeon Yoon Korea Advanced Institute of Science and Technology, Seungjun Chung KAIST, Kihyuck Shin Samsung Electronics, Jinhan Kim KAIST, Shin Hong Handong Global University, Shin Yoo KAIST
12:15
15m
Talk
Testing a PL/I Compiler using Precomputation-based Program Generation
Industry
Jesse Postema Universiteit Van Amsterdam, Johan Fabry Raincode Labs, Belgium, Yannick Barthol Raincode Labs, Ana Oprescu University of Amsterdam
12:30
15m
Live Q&A
Discussion and Q&A
Research Papers