Metamorphic testing is an approach to both test case generation and test result verification.
A central element is a set of metamorphic relations, which are necessary properties of the …

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 …

Fuzzing has achieved tremendous success in discovering bugs and vulnerabilities in
various software systems. Systems under test (SUTs) that take in programming or formal …

Among the many software testing techniques available today, fuzzing has remained highly
popular due to its conceptual simplicity, its low barrier to deployment, and its vast amount of …

In recent years, coverage-based greybox fuzzing has proven itself to be one of the most
effective techniques for finding security bugs in practice. Particularly, American Fuzzy Lop …

Fuzzing has achieved tremendous success in discovering bugs and vulnerabilities in
various software systems. Systems under test (SUTs) that take in programming or formal …

As one of the most popular software testing techniques, fuzzing can find a variety of
weaknesses in a program, such as software bugs and vulnerabilities, by generating …

There are increasing uses of deep learning (DL) compilers to generate optimized code,
boosting the runtime performance of DL models on specific hardware. Like their traditional …

Random program generation—fuzzing—is an effective technique for discovering bugs in
compilers but successful fuzzers require extensive development effort for every language …

JavaScript (JS) is a popular, platform-independent programming language. To ensure the
interoperability of JS programs across different platforms, the implementation of a JS engine …