An Approach to Program Testing
ACM Computing Surveys (CSUR)
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Programmers use slices when debugging
Communications of the ACM
Algorithm 422: minimal spanning tree [H]
Communications of the ACM
Algorithm 452: enumerating combinations of m out of n objects [G6]
Communications of the ACM
Communications of the ACM
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
The Elements of Programming Style
The Elements of Programming Style
ICSE '81 Proceedings of the 5th international conference on Software engineering
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
IEEE Transactions on Software Engineering
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Interprocedual data flow testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Comparison of program testing strategies
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Data flow-based test adequacy analysis for languages with pointers
TAV4 Proceedings of the symposium on Testing, analysis, and verification
The effects of optimizing transformations on data-flow adequate test sets
TAV4 Proceedings of the symposium on Testing, analysis, and verification
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Incremental testing of object-oriented class structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology (TOSEM)
A methodology for controlling the size of a test suite
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Unified Interprocedural Program Representation for a Maintenance Environment
IEEE Transactions on Software Engineering
Efficient computation of interprocedural definition-use chains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Performing data flow testing on classes
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
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)
A Comparison of Some Structural Testing Strategies
IEEE Transactions on Software Engineering
More Experience with Data Flow Testing
IEEE Transactions on Software Engineering
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |
In this paper we discuss required element testing strategies and present some experimental evaluations of their effectiveness. These strategies use data flow analysis as a basis for developing test cases. The basic strategy (required pairs) is compared with random and branch testing using mutation analysis as a measure of test set effectiveness. Extensions of the basic strategy are also studied.