This paper considers random testing of a compiler, using randomly generated programs as
inputs, and comparing their behaviour with and without optimisation. Since the generated …

Quick Check is a tool which aids the Haskell programmer in formulating and testing
properties of programs. Properties are described as Haskell functions, and can be …

QuickCheck is a tool which aids the Haskell programmer in formulating and testing
properties of programs. Properties are discribed as Haskell functions, and can be …

This paper presents MuCheck, a mutation testing tool for Haskell programs. MuCheck is a
counterpart to the widely used QuickCheck random testing tool for functional programs, and …

In a C compiler, function calls are difficult to implement correctly because they must respect
a platform-specific calling convention. But they are governed by a simple invariant …

Due to the critical role of compilers, many compiler testing techniques have been proposed,
two most notable categories among which are grammar-based and metamorphic-based …

Compilers should not crash and they should not miscompile applications. Random testing is
an effective method for finding compiler bugs that have escaped other kinds of testing. This …

We present JAttack, a framework that enables template-based testing for compilers. Using
JAttack, a developer writes a template program that describes a set of programs to be …

Testing is among the most effective tools available for finding bugs. Still, we know of no
automatic technique for generating test cases that expose bugs involving a combination of …

Grammars can serve as producers for structured test inputs that are syntactically correct by
construction. A probabilistic grammar assigns probabilities to individual productions, thus …