Context In the software industry, selection and prioritization techniques become a necessity
in the regression and validation testing phases because a lot of test cases are available for …

Several test adequacy criteria have been developed for quantifying the the coverage of
deep neural networks (DNNs) achieved by a test suite. Being dependent on the structure of …

We present a novel, non-intrusive approach to MC/DC coverage measurement using
modern processor-based tracing facilities. Our approach does not require recompilation or …

With the increasing availability of the computational power and constraint solving
technology, the symbolic execution technology has regained interest in recent years …

Good tests are important in software development, but it can be hard to tell whether tests will
reveal future faults that are themselves unknown. Mutation analysis, which checks whether …

With the remarkable advancement of deep learning in many domains, such as in computer
vision, learning-enabled systems are rapidly being adopted in safety-critical domains where …

Object-Branch Coverage (OBC) is often used to measure effectiveness of test suites, when
source code is unavailable. The traditional OBC definition can be made more resilient to …

In developing safety-critical cyber-physical systems, model-based development (MBD)
promotes design and verification activities at the model-level, which is an abstract …