Various proxy metrics for test quality have been defined in order to guide developers when
writing tests. Code coverage is particularly well established in practice, even though the …

Abstract Background: Cyber-Physical Systems (CPSs) are systems in which software and
hardware components interact with each other. Understanding the specific nature and root …

Mutation testing exploits artificial faults to measure the adequacy of test suites and guide
their improvement. It has become an extremely popular testing technique as evidenced by …

Mutation faults are the core of mutation testing and have been widely used in many other
software testing and debugging tasks. Hence, constructing high-quality mutation faults is …

We introduce SEMu, a Dynamic Symbolic Execution technique that generates test inputs
capable of killing stubborn mutants (killable mutants that remain undetected after a …

Machine learning has achieved remarkable success across diverse domains. Nevertheless,
concerns about interpretability in black-box models, especially within Deep Neural Networks …

Performance bugs are known to be a major threat to the success of software products.
Performance tests aim to detect performance bugs by executing the program through test …

Mutation testing has been demonstrated to motivate developers to write more tests when
presented with undetected, actionable mutants. To facilitate this effect, modern mutation …

Mutation testing is an established software quality assurance technique for the assessment
of test suites. While it is well-suited to estimate the general fault-revealing capability of a test …

Mutation testing can help reduce the risks of releasing faulty software. For such reason, it is
a desired practice for the development of embedded software running in safety-critical cyber …