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 …

In the past five years there has been a dramatic increase in work on Search-Based Software
Engineering (SBSE), an approach to Software Engineering (SE) in which Search-Based …

Unit tests play a key role in ensuring the correctness of software. However, manually
creating unit tests is a laborious task, motivating the need for automation. Large Language …

This paper describes Meta's TestGen-LLM tool, which uses LLMs to automatically improve
existing human-written tests. TestGen-LLM verifies that its generated test classes …

Testing plays a pivotal role in ensuring software quality, yet conventional Search Based
Software Testing (SBST) methods often struggle with complex software units, achieving …

Deep Learning (DL) systems are rapidly being adopted in safety and security critical
domains, urgently calling for ways to test their correctness and robustness. Testing of DL …

Tests that fail inconsistently, without changes to the code under test, are described as flaky.
Flaky tests do not give a clear indication of the presence of software bugs and thus limit the …

Testing involves examining the behaviour of a system in order to discover potential faults.
Given an input for a system, the challenge of distinguishing the corresponding desired …

A test oracle determines whether a test execution reveals a fault, often by comparing the
observed program output to the expected output. This is not always practical, for example …

Continuous integration (CI) systems automate the compilation, building, and testing of
software. Despite CI rising as a big success story in automated software engineering, it has …