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
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
Introduction to special section on software testing
Communications of the ACM
Comparing test data adequacy criteria
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
Some observations on partition testing
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
The Cost of Data Flow Testing: An Empirical Study
IEEE Transactions on Software Engineering
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
A comparison of data flow path selection criteria
ICSE '85 Proceedings of the 8th international conference on Software engineering
Software Tools in Pascal
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
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
Assessing the fault-detecting ability of testing methods
SIGSOFT '91 Proceedings of the conference on Software for citical systems
High-pressure steam engines and computer software
ICSE '92 Proceedings of the 14th international conference on Software engineering
Improved serial algorithms for mutation analysis
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
A simplified domain-testing strategy
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Using testability measures for dependability assessment
Proceedings of the 17th international conference on Software engineering
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
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)
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
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
Difficulties Measuring Software Risk in an Industrial Environment
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Automatic Test Generation using Checkpoint Encoding and Antirandom Testing
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Using operational distributions to judge testing progress
Proceedings of the 2003 ACM symposium on Applied computing
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart
Proceedings of the 26th International Conference on Software Engineering
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Information Processing Letters
Testing input validation in Web applications through automated model recovery
Journal of Systems and Software
Automatic detection of dimension errors in spreadsheets
Journal of Visual Languages and Computing
Automatic Model Generation Strategies for Model Transformation Testing
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Information Processing Letters
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
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Software quality assurance economics
Information and Software Technology
Testing techniques selection based on ODC fault types and software metrics
Journal of Systems and Software
Hi-index | 0.00 |