Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
Functional program testing and analysis
Functional program testing and analysis
Information Processing Letters
Cleanroom Software Development: An Empirical Evaluation
IEEE Transactions on Software Engineering
Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
Introduction to special section on software testing
Communications of the ACM
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Comments on 'Axiomatizing Software Test Data Adequacy' by E.J. Weyuker
IEEE Transactions on Software Engineering
Faults, Failures, and a Metrics Revolution
IEEE Software
A Comparison of Some Structural Testing Strategies
IEEE Transactions on Software Engineering
An evaluation of required element testing strategies
ICSE '84 Proceedings of the 7th international conference on Software engineering
A partition analysis method to increase program reliability
ICSE '81 Proceedings of the 5th international conference 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
STATEMATE applied to statistical software testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Foundations of software testing: dependability theory
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Optimal Test Distributions for Software Failure Cost Estimation
IEEE Transactions on Software Engineering
A semantic model of program faults
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A reliability model combining representative and directed testing
Proceedings of the 18th international conference on Software engineering
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
A theory of probabilistic functional testing
ICSE '97 Proceedings of the 19th international conference on Software engineering
Exploring dataflow testing of arrays
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)
Partition Testing vs. Random Testing: The Influence of Uncertainty
IEEE Transactions on Software Engineering
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
On some reliability estimation problems in random and partition testing
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
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Limitations of empirical testing technique knowledge
Lecture notes on empirical software engineering
Reviewing 25 Years of Testing Technique Experiments
Empirical Software Engineering
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Using information about functions in selecting test cases
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Comparing the effectiveness of testing techniques
Formal methods and testing
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Testing techniques selection based on ODC fault types and software metrics
Journal of Systems and Software
Hi-index | 0.00 |
Comparison of software testing methods is meaningful only if sound theory relates the properties compared to actual software quality. Existing comparisons typically use anecdotal foundations with no necessary relationship to quality, comparing methods on the basis of technical terms the methods themselves define. In the most seriously flawed work, one method whose efficacy is unknown is used as a standard for judging other methods! Random testing, as a method that can be related to quality (in both the conventional sense of statistical reliability, and the more stringent sense of software assurance), offers the opportunity for valid comparison.