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 …

Unfair behaviors of Machine Learning (ML) software have garnered increasing attention and
concern among software engineers. To tackle this issue, extensive research has been …

This paper provides a survey of the emerging area of Large Language Models (LLMs) for
Software Engineering (SE). It also sets out open research challenges for the application of …

A transcompiler, also known as source-to-source translator, is a system that converts source
code from a high-level programming language (such as C++ or Python) to another …

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 …

Genetic improvement (GI) uses automated search to find improved versions of existing
software. We present a comprehensive survey of this nascent field of research with a focus …

Generating unit tests is a crucial task in software development, demanding substantial time
and effort from programmers. The advent of Large Language Models (LLMs) introduces a …

This paper describes some of the challenges and opportunities when deploying static and
dynamic analysis at scale, drawing on the authors' experience with the Infer and Sapienz …

We report our experience with SapFix: the first deployment of automated end-to-end fault
fixing, from test case design through to deployed repairs in production code. We have used …

Many studies suggest using coverage concepts, such as branch coverage, as the starting
point of testing, while others as the most prominent test quality indicator. Yet the relationship …