Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Symbolic execution and program testing
Communications of the ACM
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
Evaluating Software Complexity Measures
IEEE Transactions on Software Engineering
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Rethinking the taxonomy of fault detection techniques
ICSE '89 Proceedings of the 11th international conference on Software engineering
Some observations on partition testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
The Cost of Data Flow Testing: An Empirical Study
IEEE Transactions on Software Engineering
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
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
Developing and integrating ProDAG in the Arcadia environment
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic impact analysis: a cost-effective technique to enforce error-propagation
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Interprocedural modification side effect analysis with pointer aliasing
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
An analytical comparison of the fault-detecting ability of data flow testing techniques
ICSE '93 Proceedings of the 15th international conference on 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
A comparison of data flow path selection criteria
ICSE '85 Proceedings of the 8th international conference on Software engineering
An integrated system for program testing using weak mutation and data flow analysis
ICSE '85 Proceedings of the 8th international conference on Software engineering
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
IEEE Transactions on Software Engineering
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
A static measure of a subset of intra-procedural data flow testing coverage based on node coverage
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
A program complexity metric based on data flow information in control graphs
ICSE '84 Proceedings of the 7th international conference on Software engineering
An evaluation of required element testing strategies
ICSE '84 Proceedings of the 7th international conference on Software engineering
Perturbation testing for computation errors
ICSE '84 Proceedings of the 7th international conference on Software engineering
AdaSlicer: an Ada program slicer
Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
A neural net based approach to Test Oracle
ACM SIGSOFT Software Engineering Notes
Automatically testing interacting software components
Proceedings of the 2006 international workshop on Automation of software test
Using a pilot study to derive a GUI model for automated testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Data Flow Analysis of UML Action Semantics for Executable Models
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
The dependence condition graph: Precise conditions for dependence between program points
Computer Languages, Systems and Structures
Comparing the effectiveness of testing techniques
Formal methods and testing
Avoiding redundant testing in application engineering
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Separating testing concerns by means of models
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Test adequacy criterion based on coincidental correctness probability
Proceedings of the Second Asia-Pacific Symposium on Internetware
Checking models, proving programs, and testing systems
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Control flow graphs and code coverage
International Journal of Applied Mathematics and Computer Science
Generating test cases for web services using extended finite state machine
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Automatic conformance testing of web services
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Control flow analysis of UML 2.0 sequence diagrams
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Software reliability testing covering subsystem interactions
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Defining variability in activity diagrams and Petri nets
Science of Computer Programming
| Hi-index | 0.00 |
This paper examines a family of program test data selection criteria derived from data flow analysis techniques similar to those used in compiler optimization. It is argued that currently used path selection criteria which examine only the control flow of a program are inadequate. Our procedure associates with each point in a program at which a variable is defined, those points at which the value is used. Several related path criteria, which differ in the number of these associations needed to adequately test the program, are defined and compared.