Assessing the quality of Deep Learning (DL) systems is crucial, as they are increasingly
adopted in safety-critical domains. Researchers have proposed several input generation …

A common and natural intuition among software testers is that test cases need to differ if a
software system is to be tested properly and its quality ensured. Consequently, much …

This paper presents a case study of coverage‐based regression testing techniques on a real
world industrial system with real regression faults. The study evaluates four common …

All engineering disciplines are founded and rely on models, although they may differ on
purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical …

All engineering disciplines are founded and rely on models, although they may differ on
purposes and usages of modeling. Among the different disciplines, the engineering of Cyber …

Existing web test generators derive test paths from a navigational model of the web
application, completed with either manually or randomly generated input values. However …

The name of a unit test helps developers to understand the purpose and scenario of the test,
and test names support developers when navigating amongst sets of unit tests. When unit …

This paper studies the whitebox coverage and fault detection achieved by Output
Uniqueness, a newly proposed blackbox test criterion, using 6 web applications. We find …

System testing and invariant detection is usually conducted from the user interface
perspective when the goal is to evaluate the behavior of an application as a whole. A large …

Test case prioritization is an important testing activity, in practice, specially for large scale
systems. The goal is to rank the existing test cases in a way that they detect faults as soon as …