Skip to main content

Tailoring Testing to a Specific Compiler - Experiences

Harlan K. Seyfer

DOI 10.1145/800230.806990 dblp BibTeX

Abstract

The testing of the Univac UCS-Pascal compiler is described. Tests were acquired from various sources, converted from existing tests, and developed in house. Test development and execution using the Univac Test Controller System is illustrated with examples. The experiences gained from this and other compiler testing efforts are described.

Related papers

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios CAV 2021
Building Tailorable Hypermedia Systems: The Embedded-Interpreter Approach OOPSLA 1994
An Empirical Study of Bugs in the rustc Compiler OOPSLA 2025
Grammar-based testing for little languages: an experience report with student compilers SLE 2020
Framework-aware debugging with stack tailoring DLS 2020
Random testing of a higher-order blockchain language (experience report) ICFP 2022
Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited POPL 1984
WebGlitch: A Randomised Testing Tool for the WebGPU API (Experience Paper) ECOOP 2025