Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Data flow coverage and the C language
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Art of Software Testing
Visualization of test information to assist fault localization
Proceedings of the 24th International Conference on Software Engineering
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
A software reliability assessment based on a structural and behavioral analysis of programs
ICSE '76 Proceedings of the 2nd international conference on Software engineering
An Empirical Study of the Effects of Minimization on the Fault Detection Capabilities of Test Suites
ICSM '98 Proceedings of the International Conference on Software Maintenance
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques
IEEE Transactions on Software Engineering
Feedback-Directed Random Test Generation
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Enhancing Software Testing by Judicious Use of Code Coverage Information
ICSE '07 Proceedings of the 29th international conference on Software Engineering
On the Accuracy of Spectrum-based Fault Localization
TAICPART-MUTATION '07 Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Experience with Path Analysis and Testing of Programs
IEEE Transactions on Software Engineering
Nighthawk: a two-level genetic-random unit test data generator
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Efficiently monitoring data-flow test coverage
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Introduction to Software Testing
Introduction to Software Testing
ARTOO: adaptive random testing for object-oriented software
Proceedings of the 30th international conference on Software engineering
The effect of program and model structure on mc/dc test adequacy coverage
Proceedings of the 30th international conference on Software engineering
Lightweight fault-localization using multiple coverage types
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
The influence of size and coverage on test suite effectiveness
Proceedings of the eighteenth international symposium on Software testing and analysis
A Survey of Coverage-Based Testing Tools
The Computer Journal
A theory of predicate-complete test coverage and generation
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
IEEE Transactions on Software Engineering
Comparing non-adequate test suites using coverage criteria
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Hi-index | 0.00 |
We introduce a family of coverage criteria, called Multi-Point Stride Coverage (MPSC). MPSC generalizes branch coverage to coverage of tuples of branches taken from the execution sequence of a program. We investigate its potential as a replacement for dataflow coverage, such as def-use coverage. We find that programs can be instrumented for MPSC easily, that the instrumentation usually incurs less overhead than that for def-use coverage, and that MPSC is comparable in usefulness to def-use in predicting test suite effectiveness. We also find that the space required to collect MPSC can be predicted from the number of branches in the program.