Assertion oracles are executable boolean expressions placed inside the program that
should pass (return true) for all correct executions and fail (return false) for all incorrect …

We introduce µBert, a mutation testing tool that uses a pre-trained language model
(CodeBERT) to generate mutants. This is done by masking a token from the expression …

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 …

We propose a human-in-the-loop approach for oracle improvement and analyse whether the
proposed oracle improvement process is helping developers to create better oracles. For …

Maintaining software is cumbersome when method argument constraints are
undocumented. To reveal them, previous work learned preconditions from exemplary valid …

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 …

Understanding complex software components is crucial for software evolution and
maintenance. While documentation on software behavior is often available and sufficient for …

Assertions are one of the most useful automated techniques for checking program's
behaviour and hence have been used for different verification and validation tasks. We …

We showcase and demonstrate IDPP, a Pyrus-based tool that offers a collection of pipelines
for the analysis of imbalanced datasets. Like Pyrus, IDPP is a web-based, low-code/no-code …

Interactive systems exchange a large amount of data with their environment where
numerous events are triggered and a large number of actions are performed. Manually …