SpecTest: Specification-based compiler testing
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...
Saved in:
Main Authors: | SCHUMI, Richard, SUN, Jun |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2021
|
Subjects: | |
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
RemGen: remanufacturing a random program generator for compiler testing
by: TU, Haoxin, et al.
Published: (2022) -
Extracting significant specifications from mining through mutation testing
by: Nguyen, A.C., et al.
Published: (2013) -
Detecting C++ compiler front-end bugs via grammar mutation and differential testing
by: TU, Haoxin, et al.
Published: (2023) -
Discovering complete API rules with mutation testing
by: Nguyen, A.C., et al.
Published: (2013) -
A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic
by: LE, Xuan Bach, et al.
Published: (2022)