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
Comparison of program testing strategies
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
IEEE Transactions on Software Engineering
Sensitive test data for logic expressions
ACM SIGSOFT Software Engineering Notes
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Structural specification-based testing with ADL
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Structural specification-based testing: automated support and experimental evaluation
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using production grammars in software testing
Proceedings of the 2nd conference on Domain-specific languages
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A framework for testing database applications
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Specification-based testing using cause-effect graphs
Annals of Software Engineering
Mutation Testing Applied to Estelle Specifications
Software Quality Control
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
Two test data selection strategies towards testing of Boolean specifications
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Two test data selection strategies towards testing of Boolean specifications
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Coverability Analysis Using Symbolic Model Checking
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Improvements in Coverability Analysis
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Applicability of Non-Specification-Based Approaches to Logic Testing for Software
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
A new solution to test generation for Boolean expressions
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
MUMCUT: A Fault-Based Strategy for Testing Boolean Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Assessing Neural Networks as Guides for Testing Activities
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
A Formal Approach to Testing Lustre Specifications
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Test Case Design Based on Z and the Classification-Tree Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Automatic test generation for predicates
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Automatic Test Generation using Checkpoint Encoding and Antirandom Testing
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Mutation Testing Applied to Validate Specifications Based on Statecharts
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Evaluation of Regressive Methods for Automated Generation of Test Trajectories
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Requirements interaction management
ACM Computing Surveys (CSUR)
Strategies for Automated Specification-Based Testing of Synchronous Software
Proceedings of the 16th IEEE international conference on Automated software engineering
Detecting associative shift faults in predicate testing
Journal of Systems and Software
The data mining approach to automated software testing
Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining
Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated, contract-based user testing of commercial-off-the-shelf components
Proceedings of the 28th international conference on Software engineering
Random testing of formal software models and induced coverage
Proceedings of the 1st international workshop on Random testing
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
Journal of Systems and Software
An industrial case study of structural testing applied to safety-critical embedded software
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
An evaluation of Boolean expression testing techniques
ACM SIGSOFT Software Engineering Notes
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions
Journal of Systems and Software - Special issue: Quality software
Test conditions for fault classes in Boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using production grammars in software testing
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
A novel approach for test suite reduction based on requirement relation contraction
Proceedings of the 2008 ACM symposium on Applied computing
A detectability analysis of fault classes for Boolean specifications
Proceedings of the 2008 ACM symposium on Applied computing
Automated Test Generation and Verified Software
Verified Software: Theories, Tools, Experiments
On detecting faults for Boolean expressions
Software Quality Control
Fuzzy Logic Based Metric in Software Testing
Proceedings of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006
A Software Test Cases Automated Generation Algorithm Based on Immune Principles
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
On detecting double literal faults in Boolean expressions
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Using model checking to generate fault detecting tests
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Coverage criteria for state based specifications
Formal methods and testing
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
Extending the fault classification hierarchy for software with relational operators
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
A revisit of fault class hierarchies in general boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fault-based test suite prioritization for specification-based testing
Information and Software Technology
Ordering mutants to minimise test effort in mutation testing
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Fault class prioritization in Boolean expressions
Proceedings of the 27th Annual ACM Symposium on Applied Computing
An experimental evaluation of weak-branch criterion for class testing
Journal of Systems and Software
Journal of Systems and Software
Hi-index | 0.00 |
This paper presents a family of strategies for automatically generating test data for any implementation intended to satisfy a given specification that is a Boolean formula. The fault detection effectiveness of these strategies is investigated both analytically and empirically, and the costs, assessed in terms of test set size, are compared.