Compiler Bug Isolation via Enhanced Test Program Mutation

Yujie Liu, Mingxuan Zhu, Jinhao Dong, Junzhe Yu, Dan Hao

Abstract

Compilers are one of the most fundamental software systems. A large number of software systems rely on compilers for execution. Compiler bugs can significantly hinder software developers from diagnosing issues within their software. Therefore, it is essential to ensure the correctness of compilers and to isolate and fix compiler bugs. Isolating bugs within compilers is challenging due to compilers' complexity and large codebase. The prior studies on compiler bug isolation struggle to generate sufficient test cases for bug isolation and are not effective enough.

BibTeX

@inproceedings{Liu-al:ASE24,
  author    = {Yujie Liu and
               Mingxuan Zhu and
               Jinhao Dong and
               Junzhe Yu and
               Dan Hao},
  title     = {Compiler Bug Isolation via Enhanced Test Program Mutation},
  booktitle = {ASE},
  pages     = {819--830},
  publisher = {{ACM}},
  year      = {2024},
}

Compiler Bug Isolation via Enhanced Test Program Mutation

Abstract

Related papers