SpecTest: Specification-based compiler testing

• Main Authors: SCHUMI, Richard, SUN, Jun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2021
• Subjects: Mutation testing; Compiler testing; K framework; Formal semantics; Rare language features; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/6192; https://ink.library.smu.edu.sg/context/sis_research/article/7195/viewcontent/Schumi_Sun2021_Chapter_SpecTestSpecification_BasedCom.pdf
• Institution: Singapore Management University

Compilers are error-prone due to their high complexity. They are relevant for not only general purpose programming languages, but also for many domain specific languages. Bugs in compilers can potentially render all programs at risk. It is thus crucial that compilers are systematically tested, if no...