Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Some observations on partition testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Partition Testing Does Not Inspire Confidence (Program Testing)
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
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
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
Foundations of software testing: dependability theory
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Software trustability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using testability measures for dependability assessment
Proceedings of the 17th international conference on Software engineering
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
IEEE Transactions 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)
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
What can we learn by testing a program?
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Estimation of software reliability by stratified sampling
ACM Transactions on Software Engineering and Methodology (TOSEM)
Partition Testing vs. Random Testing: The Influence of Uncertainty
IEEE Transactions on Software Engineering
Cryptographic Verification of Test Coverage Claims
IEEE Transactions 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
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering
Finding failures by cluster analysis of execution profiles
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing
Journal of Electronic Testing: Theory and Applications
The ability of directed tests to predict software quality
Annals of Software Engineering
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
Empirical Software Engineering
Software requirements validation via task analysis
Journal of Systems and Software
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated Test Case Generation for BDI Agents
Autonomous Agents and Multi-Agent Systems
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
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods
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
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
Comparing Partition and Random Testing via Majorization and Schur Functions
IEEE Transactions on Software Engineering
Program Segmentation for Controlling Test Coverage
ISSRE '97 Proceedings of the Eighth 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)
Using operational distributions to judge testing progress
Proceedings of the 2003 ACM symposium on Applied computing
On the analytical comparison of testing techniques
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Source code-based software risk assessing
Proceedings of the 2005 ACM symposium on Applied computing
Empirical Software Engineering
Constraint based structural testing criteria
Journal of Systems and Software
An evaluation of Boolean expression testing techniques
ACM SIGSOFT Software Engineering Notes
Formal Software Analysis Emerging Trends in Software Model Checking
FOSE '07 2007 Future of Software Engineering
An upper bound on software testing effectiveness
ACM Transactions on Software Engineering and Methodology (TOSEM)
Data Flow Analysis and Testing of Abstract State Machines
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Using model checking to generate fault detecting tests
TAP'07 Proceedings of the 1st international conference on Tests and proofs
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
The influence of multiple artifacts on the effectiveness of software testing
Proceedings of the IEEE/ACM international conference on Automated software engineering
Testing techniques in software engineering
Testing techniques in software engineering
Programs, tests, and oracles: the foundations of testing revisited
Proceedings of the 33rd International Conference on Software Engineering
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
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Accounting for defect characteristics in evaluations of testing techniques
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software quality assurance economics
Information and Software Technology
Testing techniques selection based on ODC fault types and software metrics
Journal of Systems and Software
Information Sciences: an International Journal
Hi-index | 0.00 |
Several relationships between software testing criteria, each induced by a relation between the corresponding multisets of subdomains, are examined. The authors discuss whether for each relation R and each pair of criteria, C/sub 1/ and C/sub 2/, R(C/sub 1/, C/sub 2/) guarantees that C/sub 1/ is better at detecting faults than C/sub 2/ according to various probabilistic measures of fault-detecting ability. It is shown that the fact that C/sub 1/ subsumes C/sub 2/ does not guarantee that C/sub 1/ is better at detecting faults. Relations that strengthen the subsumption relation and that have more bearing on fault-detecting ability are introduced.