Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Numerical recipes: the art of scientific computing
Numerical recipes: the art of scientific computing
An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Experimental comparison of three system test strategies preliminary report
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
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
Assessing the fault-detecting ability of testing methods
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Investigations of the software testing coupling effect
ACM Transactions on Software Engineering and Methodology (TOSEM)
Remark on algorithm 408: a sparse matrix package (part 1) [F4]
ACM Transactions on Mathematical Software (TOMS)
An Approach to Program Testing
ACM Computing Surveys (CSUR)
Communications of the ACM
Algorithm 408: a sparse matrix package (part I) [F4]
Communications of the ACM
Oh! Pascal!
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
IEEE Transactions on Software Engineering
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
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
Protocol testing: review of methods and relevance for software testing
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
Effect of test set minimization on fault detection effectiveness
Proceedings of the 17th international conference on Software engineering
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
Choosing a testing method to deliver reliability
ICSE '97 Proceedings of the 19th 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
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking
IEEE Transactions on Software Engineering
Evaluating Testing Methods by Delivered Reliability
IEEE Transactions on Software Engineering
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
Cryptographic Verification of Test Coverage Claims
IEEE Transactions on Software Engineering
WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation
Proceedings of the 22nd international conference on Software engineering
On subdomains: Testing, profiles, and components
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
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
Modeling the Effects of Combining Diverse Software Fault Detection Techniques
IEEE Transactions on Software Engineering
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
Complexity of Points-To Analysis of Java in the Presence of Exceptions
IEEE Transactions on Software Engineering
A schema for interprocedural modification side-effect analysis with pointer aliasing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated Test Case Generation for BDI Agents
Autonomous Agents and Multi-Agent Systems
IEEE Transactions on Software Engineering
Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods
IEEE Transactions on Software Engineering
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria
IEEE Transactions on Software Engineering
Difficulties Measuring Software Risk in an Industrial Environment
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Assessing Neural Networks as Guides for Testing Activities
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
An Experiment to Assess the Benefits of Inter-Module Type Checking
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
On the Sufficiency of Limited Testing for Knowledge Based Systems
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
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
Limitations of empirical testing technique knowledge
Lecture notes on empirical software engineering
Using operational distributions to judge testing progress
Proceedings of the 2003 ACM symposium on Applied computing
Reviewing 25 Years of Testing Technique Experiments
Empirical Software Engineering
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart
Proceedings of the 26th International Conference on Software Engineering
Bi-Criteria Models for All-Uses Test Suite Reduction
Proceedings of the 26th International Conference on Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards building a solid empirical body of knowledge in testing techniques
ACM SIGSOFT Software Engineering Notes
A Case Study of Coverage-Checked Random Data Structure Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
Evaluation of debug-testing efficiency by duplication of the detected fault and delay time of repair
Information Sciences—Informatics and Computer Science: An International Journal
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Source code-based software risk assessing
Proceedings of the 2005 ACM symposium on Applied computing
Empirical Software Engineering
A Characterisation Schema for Software Testing Techniques
Empirical Software Engineering
Tool support for randomized unit testing
Proceedings of the 1st international workshop on Random testing
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
An empirical comparison between direct and indirect test result checking approaches
Proceedings of the 3rd international workshop on Software quality assurance
Test conditions for fault classes in Boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
IEEE Transactions on Software Engineering
Testing pervasive software in the presence of context inconsistency resolution services
Proceedings of the 30th international conference on Software engineering
Sufficient mutation operators for measuring test effectiveness
Proceedings of the 30th international conference on Software engineering
The influence of organizational structure on software quality: an empirical case study
Proceedings of the 30th international conference on Software engineering
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Analysis of test suite reduction with enhanced tie-breaking techniques
Information and Software Technology
The influence of size and coverage on test suite effectiveness
Proceedings of the eighteenth international symposium on Software testing and analysis
A methodology for evaluating test coverage criteria of high levelPetri nets
Information and Software Technology
Test coverage and post-verification defects: A multiple case study
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
Comparing the effectiveness of testing techniques
Formal methods and testing
Modelling the effects of combining diverse software fault detection techniques
Formal methods and testing
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Empirically studying the role of selection operators duringsearch-based test suite prioritization
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Testing container classes: random or systematic?
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Where are my intelligent assistant's mistakes? a systematic testing approach
IS-EUD'11 Proceedings of the Third international conference on End-user development
Reducing complexity of data flow testing in the verification of a IEC-62304 flexible workflow system
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Location pairs: a test coverage metric for shared-memory concurrent programs
Empirical Software Engineering
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Is branch coverage a good measure of testing effectiveness?
Empirical Software Engineering and Verification
An experimental evaluation of weak-branch criterion for class testing
Journal of Systems and Software
Learning-Based test programming for programmers
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Comparing non-adequate test suites using coverage criteria
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Search based software test data generation for structural testing: a perspective
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
An experiment comparing the effectiveness of the all-uses and all-edges test data adequacy criteria is discussed. The experiment was designed to overcome some of the deficiencies of previous software testing experiments. A large number of test sets was randomly generated for each of nine subject programs with subtle errors. For each test set, the percentages of executable edges and definition-use associations covered were measured, and it was determined whether the test set exposed an error. Hypothesis testing was used to investigate whether all-uses adequate test sets are more likely to expose errors than are all-edges adequate test sets. Logistic regression analysis was used to investigate whether the probability that a test set exposes an error increases as the percentage of definition-use associations or edges covered by it increases. Error exposing ability was shown to be strongly positively correlated to percentage of covered definition-use associations in only four of the nine subjects. Error exposing ability was also shown to be positively correlated to the percentage of covered edges in four different subjects, but the relationship was weaker.