Automated program repair (APR) approaches suffer from long patch validation time, which
limits their practical application and receives relatively low attention. The patch validation …

Testing Machine Learning (ML) projects is challenging due to inherent non-determinism of
various ML algorithms and the lack of reliable ways to compute reference results …

Compilers translate programs from a high level of abstraction into a low level representation
that can be understood and executed by the computer; interpreters directly execute …

Software Testing is a quality control activity that, in addition to finding flaws or bugs, provides
confidence in the software's correctness. The quality of the developed software depends on …

Rust is a relatively young, memory safe systems programming language which is
increasingly being adopted by projects requiring both performance, and safety. While …

Modern software systems must fulfill the needs of an ever-growing customer base. Due to
the innate diversity of human needs, software should be customizable and reconfigurable …

Keeping a good test-suite is important, otherwise a software project may get unmaintainable.
There are several techniques to determine the quality of a test-suite, with mutation testing …

Software testing is the dominant method for quality assurance and quality control in software
development organisations [10, 11]. Software testing was established as a disciplined …