Virtually any software running on a computer has been processed by a compiler or a
compiler-like tool. Because compilers are such a crucial piece of infrastructure for building …

Automated program repair is the problem of automatically fixing bugs in programs in order to
significantly reduce the debugging costs and improve the software quality. To address this …

Validating optimizing compilers is challenging because it is hard to generate valid test
programs (ie, those that do not expose any undefined behavior). Equivalence Modulo Inputs …

We present an automated technique for finding defects in compilers for graphics shading
languages. key challenge in compiler testing is the lack of an oracle that classifies an output …

Modern information technology paradigms, such as online services and off-the-shelf
products, often involve a wide variety of users with different or even conflicting objectives …

Compiler testing is a crucial way of guaranteeing the reliability of compilers (and software
systems in general). Many techniques have been proposed to facilitate automated compiler …

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 …

Driving simulation is the primary approach for testing the software components of
autonomous vehicles. This paper presents an automated testing method, termed …

Compilers are a kind of important software, and similar to the quality assurance of other
software, compiler testing is one of the most widely-used ways of guaranteeing their quality …

Compilers are widely-used infrastructures in accelerating the software development, and
expected to be trustworthy. In the literature, various testing technologies have been …