The complexity of data flow criteria for test data selection
Information Processing Letters
Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
A tool for data flow oriented program testing
Proceedings of the second conference on Software development tools, techniques, and alternatives
Proceedings of the second conference on Software development tools, techniques, and alternatives
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
An Approach to Program Testing
ACM Computing Surveys (CSUR)
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
The use of data flow information for the selection and evaluation of software test data
The use of data flow information for the selection and evaluation of software test data
A mathematical theory of global program optimization (Prentice-Hall series in automatic computation)
A mathematical theory of global program optimization (Prentice-Hall series in automatic computation)
What to do beyond branch testing
ACM SIGSOFT Software Engineering Notes
Interprocedual data flow testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Estimating the number of test cases required to satisfy the all-du-paths testing criterion
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
The Cost of Data Flow Testing: An Empirical Study
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
Data flow coverage and the C language
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
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
Assessing the fault-detecting ability of testing methods
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Analysis and Refinement of Software Test Data Adequacy Properties
IEEE Transactions on Software Engineering
Incremental testing of object-oriented class structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
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)
Applications of feasible path analysis to program testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Test data generation and feasible path analysis
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Performing data flow testing on classes
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
The path-wise approach to data flow testing with pointer variables
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Unconstrained duals and their use in achieving all-uses coverage
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Reducing and estimating the cost of test coverage criteria
Proceedings of the 18th international conference on Software engineering
A demand-driven analyzer for data flow testing at the integration level
Proceedings of the 18th international conference on Software engineering
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
Program decomposition for pointer aliasing: a step toward practical analyses
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Flow insensitive C++ pointers and polymorphism analysis and its application to slicing
ICSE '97 Proceedings of the 19th international conference on Software engineering
Predicate-based test generation for computer programs
ICSE '93 Proceedings of the 15th international conference on Software Engineering
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
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Refining data flow information using infeasible paths
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Cryptographic verification of test coverage claims
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
A practical framework for demand-driven interprocedural data flow analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Further empirical studies of test effectiveness
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
What you see is what you test: a methodology for testing form-based visual programs
Proceedings of the 20th international conference on Software engineering
Residual test coverage monitoring
Proceedings of the 21st international conference on Software engineering
Cryptographic Verification of Test Coverage Claims
IEEE Transactions on Software Engineering
Software engineering for security: a roadmap
Proceedings of the Conference on The Future of Software Engineering
WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation
Proceedings of the 22nd international conference on Software engineering
Comparison of delivered reliability of branch, data flow and operational testing: A case study
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Analysis and Testing of Programs with Exception Handling Constructs
IEEE Transactions on Software Engineering
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology
IEEE Transactions on Software Engineering
Automated test case generation for spreadsheets
Proceedings of the 24th International Conference on Software Engineering
Modeling reliability growth during non-representative
Annals of Software Engineering
Specification-based testing using cause-effect graphs
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
Software requirements validation via task analysis
Journal of Systems and Software
Selecting and Using Data for Integration Testing
IEEE Software
The Combining DAG: A Technique for Parallel Data Flow Analysis
IEEE Transactions on Parallel and Distributed Systems
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
IEEE Transactions on Software Engineering
Clarifying Some Fundamental Concepts in Software Testing
IEEE Transactions on Software Engineering
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
Interprocedural Def-Use Associations for C Systems with Single Level Pointers
IEEE Transactions on Software Engineering
On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria
IEEE Transactions on Software Engineering
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria
IEEE Transactions on Software Engineering
Systems testing and statistical test data coverage
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Test Criteria Definition for B Models
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Data flow testing as model checking
Proceedings of the 25th International Conference on Software Engineering
Augmenting data flow criteria for class testing
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
On the experience of using cause-effect graphs for software specification and test generation
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A Validation Fault Model for Timing-Induced Functional Errors
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Incremental Slicing Based on Data-Dependences Types
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Unification of finite failure non-homogeneous Poisson process models through test coverage
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Testing Strategies for Form-Based Visual Programs
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Confidence-Based Reliability And Statistical Coverage Estimation
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Using Simulation for Assessing the Real Impact of Test Coverage on Defect Coverage
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Criteria for Testing Polymorphic Relationships
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Structural Testing of Web Applications
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
A family of test adequacy criteria for database-driven applications
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Using Spanning Sets for Coverage Testing
IEEE Transactions on Software Engineering
Testing of java web services for robustness
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
Communications of the ACM - End-user development: tools that empower users to create their own software solutions
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Test Case Generation Algorithm for Real-Time Systems
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Testing Context-Sensitive Middleware-Based Software Applications
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Demand-driven structural testing with dynamic instrumentation
Proceedings of the 27th international conference on Software engineering
Towards the prioritization of regression test suites with data flow information
Proceedings of the 2005 ACM symposium on Applied computing
Robustness Testing of Java Server Applications
IEEE Transactions on Software Engineering
The effect of code coverage on fault detection under different testing profiles
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Integrating automated test generation into the WYSIWYT spreadsheet testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatically testing interacting software components
Proceedings of the 2006 international workshop on Automation of software test
A strategy to perform coverage testing of mobile applications
Proceedings of the 2006 international workshop on Automation of software test
Constraint based structural testing criteria
Journal of Systems and Software
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Subsumption of program entities for efficient coverage and monitoring
Proceedings of the 3rd international workshop on Software quality assurance
Data flow analysis and testing of JSP-based Web applications
Information and Software Technology
Control and data flow structural testing criteria for aspect-oriented programs
Journal of Systems and Software
Software Reliability Engineering: A Roadmap
FOSE '07 2007 Future of 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
Efficiently monitoring data-flow test coverage
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A binomial software reliability model based on coverage of structural testing criteria
Empirical Software Engineering
Testing pervasive software in the presence of context inconsistency resolution services
Proceedings of the 30th international conference on Software engineering
Data flow testing of service-oriented workflow applications
Proceedings of the 30th international conference on Software engineering
Using model transformation to support model-based test coverage measurement
Proceedings of the 3rd international workshop on Automation of software test
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing criteria for object oriented visual dataflow languages
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Challenges and opportunities for improving code-based testing of graphical user interfaces
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Data Flow Analysis and Testing of Abstract State Machines
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Structural Testing of Component-Based Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Data flow testing of service choreography
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Test-Suite Augmentation for Evolving Software
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Sampling-based program execution monitoring
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Using UML collaboration diagrams for static checking and test generation
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Structural coverage of feasible code
Proceedings of the 5th Workshop on Automation of Software Test
Specification coverage for testing in circus
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Practical elimination of external interaction vulnerabilities in web applications
Journal of Web Engineering
Enhancing structural software coverage by incrementally computing branch executability
Software Quality Control
Synthesizing method sequences for high-coverage testing
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Test suite reduction based on dependence analysis
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
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 and data flow testing on function block diagrams
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Research: Analysis and representation of test cases generated from LOTOS
Computer Communications
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
ACM SIGSOFT Software Engineering Notes
Testing against visual contracts: model-based coverage
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Journal of Systems and Software
Applying a def-use approach on signal exchange to implement SysML model-based testing
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Data flow analysis and testing for OWL-S semantic web service compositions
International Journal of Computational Science and Engineering
| Hi-index | 0.00 |
The authors extend the definitions of the previously introduced family of data flow testing criteria to apply to programs written in a large subset of Pascal. They then define a family of adequacy criteria called feasible data flow testing criteria, which are derived from the data-flow testing criteria. The feasible data flow testing criteria circumvent the problem of nonapplicability of the data flow testing criteria by requiring the test data to exercise only those definition-use associations which are executable. It is shown that there are significant differences between the relationships among the data flow testing criteria and the relationships among the feasible data flow testing criteria. The authors discuss a generalized notion of the executability of a path through a program unit. A script of a testing session using their data flow testing tool, ASSET, is included.