An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
On the Relationship Between Partition and Random Testing
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
Software error analysis: a real case study involving real faults and mutations
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A logic-model semantics for SCR software requirements
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
IEEE Transactions on Software Engineering
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
A Framework for Specification-Based Testing
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
Fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
On fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Test Case Prioritization: A Family of Empirical Studies
IEEE Transactions on Software Engineering
Art of Software Testing
Specification-based testing using cause-effect graphs
Annals of Software Engineering
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
IEEE Transactions on Software Engineering
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
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
On the Emulation of Software Faults by Software Fault Injection
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
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
MUMCUT: A Fault-Based Strategy for Testing Boolean Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Mutation Operators for Specifications
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
On the Relationships of Faults for Boolean Specification Based Testing
ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
Using a Model Checker to Test Safety Properties
ICECCS '01 Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems
Sensitive test data for logic expressions
ACM SIGSOFT Software Engineering Notes
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
Journal of Systems and Software
Automatic model driven animation of SCR specifications
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Identification of Categories and Choices in Activity Diagrams
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
Journal of Systems and Software
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)
Design fault directed test generation for microprocessor validation
Proceedings of the conference on Design, automation and test in Europe
A detectability analysis of fault classes for Boolean specifications
Proceedings of the 2008 ACM symposium on Applied computing
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
On detecting faults for Boolean expressions
Software Quality Control
On Comparing Testing Criteria for Logical Decisions
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
CHOC'LATE: a framework for specification-based testing
Communications of the ACM
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
Proof process evaluation with mutation analysis
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Non-parametric statistical fault localization
Journal of Systems and Software
Extending the fault classification hierarchy for software with relational operators
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
Proceedings of the 6th International Workshop on Automation of Software Test
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
Fault class prioritization in Boolean expressions
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Regression testing minimization, selection and prioritization: a survey
Software Testing, Verification & Reliability
Computers in Biology and Medicine
Journal of Systems and Software
Hi-index | 0.02 |
Kuhn, followed by Tsuchiya and Kikuno, have developed a hierarchy of relationships among several common types of faults (such as variable and expression faults) for specification-based testing by studying the corresponding fault detection conditions. Their analytical results can help explain the relative effectiveness of various fault-based testing techniques previously proposed in the literature. This article extends and complements their studies by analyzing the relationships between variable and literal faults, and among literal, operator, term, and expression faults. Our analysis is more comprehensive and produces a richer set of findings that interpret previous empirical results, can be applied to the design and evaluation of test methods, and inform the way that test cases should be prioritized for earlier detection of faults. Although this work originated from the detection of faults related to specifications, our results are equally applicable to program-based predicate testing that involves logic expressions.