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
A comparison of data flow path selection criteria
ICSE '85 Proceedings of the 8th international conference on Software engineering
An Approach to Program Testing
ACM Computing Surveys (CSUR)
An evaluation of required element testing strategies
ICSE '84 Proceedings of the 7th international conference on Software engineering
Assessing a class of software tools
ICSE '84 Proceedings of the 7th international conference on Software engineering
On data flow guided program testing
ACM SIGPLAN Notices
What to do beyond branch testing
ACM SIGSOFT Software Engineering Notes
Theoretical comparison of testing methods
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
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
Comparison of program testing strategies
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
STATEMATE applied to statistical software testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Software trustability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing real-time constraints in a process algebraic setting
Proceedings of the 17th international conference on Software engineering
Modeling software for accurate data flow representation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
Analysis and Testing of Programs with Exception Handling Constructs
IEEE Transactions on Software Engineering
The derivation of test cases from SDL specifications
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
A data flow fault coverage metric for validation of behavioral HDL descriptions
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
More Experience with Data Flow Testing
IEEE Transactions on Software Engineering
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria
IEEE Transactions on Software Engineering
Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
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
Simulation Using Code-Perturbation: Black- and White-Box Approach
ISQED '01 Proceedings of the 2nd International Symposium on Quality Electronic Design
A Formal Approach to Testing Lustre Specifications
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
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
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
ACM Transactions on Software Engineering and Methodology (TOSEM)
Structural Testing Based on Minimum Kernels
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Structural test coverage criteria for lustre programs
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Empirical Software Engineering
SMArTIC: towards building an accurate, robust and scalable specification miner
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
An objective comparison of the cost effectiveness of three testing methods
Information and Software Technology
Testing input validation in Web applications through automated model recovery
Journal of Systems and Software
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Multilevel Testing of Control Software for Teams of Autonomous Mobile Robots
SIMPAR '08 Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Information flow testing: the third path towards confidentiality guarantee
ASIAN'07 Proceedings of the 12th Asian computing science conference on Advances in computer science: computer and network security
Testing real-time systems using UPPAAL
Formal methods and testing
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
Comparing the effectiveness of testing techniques
Formal methods and testing
How did you specify your test suite
Proceedings of the IEEE/ACM international conference on Automated software engineering
On Testing Answer-Set Programs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Error detection rate of MC/DC for a case study from the automotive domain
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Analysis of software cohesion attribute and test case development complexity
Proceedings of the 49th Annual Southeast Regional Conference
A logic for assessing sets of heterogeneous testing hypotheses
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Generating test data for specification-based tests via quasirandom sequences
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Automated verification and testing of user-interactive undo features in database applications
Software Testing, Verification & Reliability
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
Using narrowing to test maude specifications
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Hi-index | 0.00 |
Several structural testing strategies are compared in terms of their relative coverage of the program's structure and also in terms of the number of test cases needed to satisfy each strategy. Some of the deficiencies of such comparisons are discussed