The complexity of data flow criteria for test data selection
Information Processing Letters
Applications of symbolic evaluation
Journal of Systems and Software
Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
A functional approach to program testing and analysis
IEEE Transactions on Software Engineering
Perturbation Techniques for Detecting Domain Errors
IEEE Transactions on Software Engineering
The implications of program dependencies for software testing, debugging, and maintenance
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A comparison of data flow path selection criteria
ICSE '85 Proceedings of the 8th international conference on Software engineering
A Comparison of Some Structural Testing Strategies
IEEE Transactions on Software Engineering
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
An Analysis of Text Data Selection Criteria Using the RELAY Model of
An Analysis of Text Data Selection Criteria Using the RELAY Model of
Validating programs without specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Data flow coverage and the C language
TAV4 Proceedings of the symposium on Testing, analysis, and verification
An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Structural testing of rule-based expert systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Performing data flow testing on classes
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Effect of test set minimization on fault detection effectiveness
Proceedings of the 17th international conference on Software engineering
Software testing at the architectural level
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Modeling software for accurate data flow representation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
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
Property-based testing: a new approach to testing for assurance
ACM SIGSOFT Software Engineering Notes
Semantics Guided Regression Test Cost Reduction
IEEE Transactions on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
What you see is what you test: a methodology for testing form-based visual programs
Proceedings of the 20th international conference on Software engineering
Estimating software fault-proneness for tuning testing activities
Proceedings of the 22nd international conference on Software engineering
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling reliability growth during non-representative
Annals of Software Engineering
A data flow fault coverage metric for validation of behavioral HDL descriptions
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
More Experience with Data Flow Testing
IEEE Transactions on Software Engineering
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria
IEEE Transactions on Software Engineering
Data flow testing as model checking
Proceedings of the 25th International Conference on Software Engineering
A Validation Fault Model for Timing-Induced Functional Errors
ITC '01 Proceedings of the 2001 IEEE International Test Conference
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Coverage testing software architectural design in SDL
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Measuring the Structural Complexity of OPS5 Rule-Based Programs
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models
IEEE Transactions on Computers
ACM Transactions on Software Engineering and Methodology (TOSEM)
Recovering binary class relationships: putting icing on the UML cake
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 27th international conference on Software engineering
Source code-based software risk assessing
Proceedings of the 2005 ACM symposium on Applied computing
Structural test coverage criteria for lustre programs
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Scenarios, state machines and purpose-driven testing
SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
Identification of Categories and Choices in Activity Diagrams
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
An Empirical Study of Test Case Filtering Techniques Based on Exercising Information Flows
IEEE Transactions on Software Engineering
A study of interleaving coverage criteria
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A study of interleaving coverage criteria
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Context-aware statistical debugging: from bug predictors to faulty control flow paths
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Testing input validation in Web applications through automated model recovery
Journal of Systems and Software
Software testing: a graph theoretic approach
International Journal of Information and Communication Technology
Information Security Tech. Report
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Architecting Dependable Systems V
Data Flow Analysis and Testing of Abstract State Machines
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Testing real-time systems using UPPAAL
Formal methods and testing
Specifying and generating test cases using observer automata
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Dependence testing: extending data flow testing with control dependence
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
ACM SIGSOFT Software Engineering Notes
Semi-valid input coverage for fuzz testing
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Defining a test coverage criterion for model-level testing of FBD programs
Information and Software Technology
Hi-index | 0.01 |
The authors report on the results of their evaluation of path-selection criteria based on data-flow relationships. They show how these criteria relate to each other, thereby demonstrating some of their strengths and weaknesses. A subsumption hierarchy showing their relationship is presented. It is shown that one of the major weaknesses of all the criteria is that they are based solely on syntactic information and do not consider semantic issues such as infeasible paths. The authors discuss the infeasible-path problem as well as other issues that must be considered in order to evaluate these criteria more meaningfully and to formulate a more effective path-selection criterion.