An empirical study on the scalability of selective mutation testing
Software testing plays an important role in ensuring software quality by running a program
with test suites. Mutation testing is designed to evaluate whether a test suite is adequate in …
with test suites. Mutation testing is designed to evaluate whether a test suite is adequate in …
[PDF][PDF] Diagnosing Software Faults Using Multiverse Analysis.
Abstract Spectrum-based Fault Localization (SFL) approaches aim to efficiently localize
faulty components from examining program behavior. This is done by collecting the …
faulty components from examining program behavior. This is done by collecting the …
Black-box testing of deep neural networks
T Byun, S Rayadurgam… - 2021 IEEE 32nd …, 2021 - ieeexplore.ieee.org
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 …
deep neural networks (DNNs) achieved by a test suite. Being dependent on the structure of …
Mil testing of highly configurable continuous controllers: scalable search using surrogate models
Continuous controllers have been widely used in automotive domain to monitor and control
physical components. These controllers are subject to three rounds of testing: Model-in-the …
physical components. These controllers are subject to three rounds of testing: Model-in-the …
On the efficiency of automated testing
The aim of automated program testing is to gain confidence about a program's correctness
by sampling its input space. The sampling process can be either systematic or random. For …
by sampling its input space. The sampling process can be either systematic or random. For …
Coverage and its discontents
Everyone wants to know one thing about a test suite: will it detect enough bugs?
Unfortunately, in most settings that matter, answering this question directly is impractical or …
Unfortunately, in most settings that matter, answering this question directly is impractical or …
Oracle-centric test case prioritization
M Staats, P Loyola, G Rothermel - 2012 IEEE 23rd International …, 2012 - ieeexplore.ieee.org
Recent work in testing has demonstrated the benefits of considering test oracles in the
testing process. Unfortunately, this work has focused primarily on developing techniques for …
testing process. Unfortunately, this work has focused primarily on developing techniques for …
Investigating faults missed by test suites achieving high code coverage
Code coverage criteria are commonly used to determine the adequacy of a test suite.
However, studies investigating code coverage and fault-finding capabilities have mixed …
However, studies investigating code coverage and fault-finding capabilities have mixed …
Automated coverage-driven test data generation using dynamic symbolic execution
Recently code transformations or tailored fitness functions are adopted to achieve coverage
(structural or logical criterion) driven testing to ensure software reliability. However, some …
(structural or logical criterion) driven testing to ensure software reliability. However, some …
Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation
S Kandl, S Chandrashekar - Computing, 2015 - Springer
Modified condition/decision coverage (MC/DC) is a structural code coverage metric,
originally defined in the standard DO-178B, intended to be an efficient coverage metric for …
originally defined in the standard DO-178B, intended to be an efficient coverage metric for …