Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Tue 22 Sep 2020 08:20 - 08:40 at Wombat - Compiler and Systems Testing Chair(s): Yanyan Jiang

Compiler bugs can be disastrous since they could affect all the software systems built on the buggy compilers. Meanwhile, diagnosing compiler bugs is extremely challenging since usually limited debugging information is available and a large number of compiler files can be suspicious. More specifically, when compiling a given bug-triggering test program, hundreds of compiler files are usually involved, and can all be treated as suspicious buggy files. To facilitate compiler debugging, in this paper we propose the first reinforcement compiler bug isolation approach via structural mutation, called RecBi. For a given bug-triggering test program, RecBi first augments traditional local mutation operators with structural ones to transforms it into a set of passing test programs. Since not all the passing test programs can help isolate compiler bugs effectively, RecBi further leverages reinforcement learning to intelligently guide the process of passing test program generation. Then, RecBi ranks all the suspicious files by analyzing the compiler execution traces of the generated passing test programs and the given failing test program following the practice of compiler bug isolation. The experimental results on 120 real bugs from two most popular C open-source compilers, i.e., GCC and LLVM, show that RecBi is able to isolate about 23%/58%/78% bugs within Top-1/Top-5/Top-10 compiler files, and significantly outperforms the state-of-the-art compiler bug isolation approach by improving 92.86%/55.56%/25.68% isolation effectiveness in terms of Top-1/Top-5/Top-10 results.

Conference Day
Tue 22 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

08:00 - 09:00
Compiler and Systems TestingNIER track / Research Papers at Wombat
Chair(s): Yanyan JiangNanjing University
08:00
20m
Talk
Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data
Research Papers
Diego Clerissi, Giovanni DenaroUniversity of Milano-Bicocca, Italy, Marco MobilioUniversity of Milano Bicocca, Leonardo MarianiUniversity of Milano Bicocca
08:20
20m
Talk
Enhanced Compiler Bug Isolation via Memoized Search
Research Papers
Junjie ChenTianjin University, China, Haoyang MaCollege of Intelligence and Computing, Tianjin University, Lingming ZhangUniversity of Illinois at Urbana-Champaign
08:40
10m
Talk
Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing
NIER track
Mitchell OlsthoornDelft University of Technology, Arie van DeursenDelft University of Technology, Netherlands, Annibale PanichellaDelft University of Technology
DOI Pre-print Media Attached
08:50
10m
Talk
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour
NIER track
Karine Even-MendozaImperial College London, Cristian CadarImperial College London, UK, Alastair F. DonaldsonImperial College London
Pre-print Media Attached