Augmenting test suites effectiveness by increasing output diversity

N Alshahwan, M Harman - 2012 34th International Conference …, 2012 - ieeexplore.ieee.org
The uniqueness (or otherwise) of test outputs ought to have a bearing on test effectiveness,
yet it has not previously been studied. In this paper we introduce a novel test suite adequacy …

Provable improvements on branch testing

PG Frankl, EJ Weyuker - IEEE Transactions on Software …, 1993 - ieeexplore.ieee.org
This paper compares the fault-detecting ability of several software test data adequacy
criteria. It has previously been shown that if C/sub 1/properly covers C/sub 2/, then C/sub 1/is …

Comparison of structural test coverage metrics

MD Weiser, JD Gannon, PR McMullin - IEEE Software, 1985 - search.proquest.com
that satisfy one me Page 1 comparison of structural Test coverage Metrics MD weiser,
University of Maryland J. D. Gannon, university of Maryland P. R. McMullin, Johns Hopkins …

[PDF][PDF] Software Testing: 5th Comparative Evaluation: Test-Comp 2023.

D Beyer - FASE, 2023 - library.oapen.org
The 5th edition of the Competition on Software Testing (Test-Comp 2023) provides again an
overview and comparative evaluation of automatic test-suite generators for C programs. The …

One-test-at-a-time heuristic search for interaction test suites

RC Bryce, CJ Colbourn - Proceedings of the 9th annual conference on …, 2007 - dl.acm.org
Algorithms for the construction of software interaction test suites have focussed on the
special case of pairwise coverage; less is known about efficiently constructing test suites for …

An evolutionary algorithm for regression test suite reduction

S Nachiyappan, A Vimaladevi… - 2010 International …, 2010 - ieeexplore.ieee.org
As the software is modified and new test cases are added to the test-suite, the size of the test-
suite grows and the cost of regression testing increases. In order to decrease the cost of …

Test data selection and quality estimation based on the concept of essential branches for path testing

T Chusho - IEEE Transactions on Software Engineering, 1987 - ieeexplore.ieee.org
A new coverage measure is proposed for efficient and effective software testing. The
conventional coverage measure for branch testing has such defects as overestimation of …

On guiding the augmentation of an automated test suite via mutation analysis

BH Smith, L Williams - Empirical software engineering, 2009 - Springer
Mutation testing has traditionally been used as a defect injection technique to assess the
effectiveness of a test suite as represented by a “mutation score.” Recently, mutation testing …

1600 faults in 100 projects: automatically finding faults while achieving high coverage with evosuite

G Fraser, A Arcuri - Empirical software engineering, 2015 - Springer
Automated unit test generation techniques traditionally follow one of two goals: Either they
try to find violations of automated oracles (eg, assertions, contracts, undeclared exceptions) …

A theoretical and empirical analysis of the role of test sequence length in software testing for structural coverage

A Arcuri - IEEE Transactions on Software Engineering, 2011 - ieeexplore.ieee.org
In the presence of an internal state, often a sequence of function calls is required to test
software. In fact, to cover a particular branch of the code, a sequence of previous function …