Testing is widely recognized as an important stage of the software development lifecycle.
Effective software testing can provide benefits such as bug finding, preventing regressions …

Expressing class specifications via executable constraints is important for various software
engineering tasks such as test generation, bug finding and automated debugging, but …

One of the major challenges in the verification of complex industrial Cyber-Physical Systems
is the difficulty of determining whether a particular system output or behaviour is correct or …

Defining test oracles is crucial and central to test development, but manual construction of
oracles is expensive. While recent neural-based automated test oracle generation …

Mocking is an essential unit testing technique for isolating the class under test from its
dependencies. Developers often leverage mocking frameworks to develop stub code that …

Test case generation tools for REST APIs have grown in number and complexity in recent
years. However, their advanced capabilities for automated input generation contrast with the …

In software development, formal program specifications play a crucial role in various stages.
However, manually crafting formal program specifications is rather difficult, making the job …

Software metrics such as coverage and mutation scores have been extensively explored for
the automated quality assessment of test suites. While traditional tools rely on such …

The software of systems of elevators needs constant maintenance to deal with new
functionality, bug fixes, or legislation changes. To automatically validate the software of …

Metamorphic testing is a popular approach that aims to alleviate the oracle problem in
software testing. At the core of this approach are Metamorphic Relations (MRs), specifying …