The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
A simplified domain-testing strategy
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
An experiment in automatic generation of test suites for protocols with verification technology
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating test data from SOFL specifications
Journal of Systems and Software
An automatic approach of domain test data generation
Journal of Systems and Software
On fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
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
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
Journal of Systems and Software
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
An empirical study of the factors that reduce the effectiveness of coverage-based fault localization
Proceedings of the 2nd International Workshop on Defects in Large Software Systems: Held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009)
Testing techniques in software engineering
Testing techniques in software engineering
Prevalence of coincidental correctness and mitigation of its impact on fault localization
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
In partition analysis we divide the input domain to form subdomains on which the system's behaviour should be uniform. Boundary value analysis produces test inputs near each subdomain's boundaries to find failures caused by incorrect implementation of the boundaries. However, boundary value analysis can be adversely affected by coincidental correctness---the system produces the expected output, but for the wrong reason. This article shows how boundary value analysis can be adapted in order to reduce the likelihood of coincidental correctness. The main contribution is to cases of automated test data generation in which we cannot rely on the expertise of a tester.