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 …

Deep learning (DL) systems are widely used in domains including aircraft collision
avoidance systems, Alzheimer's disease diagnosis, and autonomous driving cars. Despite …

Random testing is not only a useful testing technique in itself, but also plays a core role in
many other testing methods. Hence, any significant improvement to random testing has an …

Java virtual machine (JVM) is a core technology, whose reliability is critical. Testing JVM
implementations requires painstaking effort in designing test classfiles (*. class) along with …

Java Virtual Machine (JVM) provides the runtime environment for Java programs, which
allows Java to be" write once, run anywhere". JVM plays a decisive role in the correctness of …

JVM testing is one of the most widely-used methodologies for guaranteeing the quality of
JVMs. Among various JVM testing techniques, synthesis-based JVM testing, which …

The Java Virtual Machine (JVM) is the cornerstone of the widely-used Java platform. Thus, it
is critical to ensure the reliability and robustness of popular JVM implementations. However …

Compilers, as one of the most important infrastructure of today's digital world, are expected
to be trustworthy. Different testing techniques are developed for testing compilers …

This paper introduces the novel concept of compilation space, which facilitates the thorough
validation of just-in-time (JIT) compilers in modern language virtual machines (LVMs). The …

While the Java Virtual Machine (JVM) plays a vital role in ensuring correct executions of
Java applications, testing JVMs via generating and running class files on them can be rather …