A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
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
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
IEEE Transactions on Software Engineering
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on 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)
Prioritizing Test Cases For Regression Testing
IEEE Transactions on Software Engineering
Test Case Prioritization: A Family of Empirical Studies
IEEE Transactions on Software Engineering
Proceedings of the 24th International Conference on Software Engineering
Specification-based testing using cause-effect graphs
Annals of Software Engineering
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
Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
IEEE Transactions on Software Engineering
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
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
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
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
Mutation Operators for Specifications
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
A Study of Effective Regression Testing in Practice
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Using a Model Checker to Test Safety Properties
ICECCS '01 Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems
Using the Incremental Approach to Generate Test Sets: A Case Study
QSIC '03 Proceedings of the Third International Conference on Quality Software
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
The Art of Software Testing
Sensitive test data for logic expressions
ACM SIGSOFT Software Engineering Notes
Selecting a Cost-Effective Test Case Prioritization Technique
Software Quality Control
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fault-Based Testing of Database Application Programs with Conceptual Data Model
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
Code-coverage guided prioritized test generation
Information and Software Technology
Test conditions for fault classes in Boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the Automated Generation of Program Test Data
IEEE Transactions on Software Engineering
Error Sensitive Test Cases Analysis (ESTCA)
IEEE Transactions on Software Engineering
Experiments with test case prioritization using relevant slices
Journal of Systems and Software
Prioritizing User-Session-Based Test Cases for Web Applications Testing
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Information and Software Technology
Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing
ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Fault-Based Test Case Generation for Component Connectors
TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
A family of code coverage-based heuristics for effective fault localization
Journal of Systems and Software
Design and analysis of GUI test-case prioritization using weight-based methods
Journal of Systems and Software
The Effects of Time Constraints on Test Case Prioritization: A Series of Controlled Experiments
IEEE Transactions on Software Engineering
Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs
International Journal of Web Services Research
Hi-index | 0.00 |
Context: Existing test suite prioritization techniques usually rely on code coverage information or historical execution data that serve as indicators for estimating the fault-detecting ability of test cases. Such indicators are primarily empirical in nature and not theoretically driven; hence, they do not necessarily provide sound estimates. Also, these techniques are not applicable when the source code is not available or when the software is tested for the first time. Objective: We propose and develop the novel notion of fault-based prioritization of test cases which directly utilizes the theoretical knowledge of their fault-detecting ability and the relationships among the test cases and the faults in the prescribed fault model, based on which the test cases are generated. Method: We demonstrate our approach of fault-based prioritization by applying it to the testing of the implementation of logical expressions against their specifications. We then validate our proposal by an empirical study that evaluates the effectiveness of prioritization techniques using two different metrics. Results: A theoretically guided fault-based prioritization technique generally outperforms other techniques under study, as assessed by two different metrics. Our empirical results also show that the technique helps to reveal all target faults by executing only about 72% of the prioritized test suite, thereby reducing the effort required in testing. Conclusions: The fault-based prioritization approach is not only applicable to the instance empirically validated in this paper, but should also be adaptable to other fault-based testing strategies. We also envisage new research directions to be opened up by our work.