System testing via mutation analysis of model checking specifications
ACM SIGSOFT Software Engineering Notes
Automatic test selection based on CEFSM specifications
Acta Cybernetica
Test input generation with java PathFinder
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Mutation-Based Testing Criteria for Timeliness
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Combining test case generation and runtime verification
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Coverage metrics for requirements-based testing
Proceedings of the 2006 international symposium on Software testing and analysis
Property relevant software testing with model-checkers
ACM SIGSOFT Software Engineering Notes
Automated requirements-based test case generation
ACM SIGSOFT Software Engineering Notes
On the effect of test-suite reduction on automatically generated model-based tests
Automated Software Engineering
Using LTL rewriting to improve the performance of model-checker based test-case generation
Proceedings of the 3rd international workshop on Advances in model-based testing
Relating counterexamples to test cases in CTL model checking specifications
Proceedings of the 3rd international workshop on Advances in model-based testing
Test-case prioritization with model-checkers
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Control
A rigorous approach towards test case generation
Information Sciences: an International Journal
Complementary Criteria for Testing Temporal Logic Properties
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Issues in using model checkers for test case generation
Journal of Systems and Software
Redundancy based test-suite reduction
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Applying mutation analysis to SDL specifications
SDL'03 Proceedings of the 11th international conference on System design
Specification test coverage adequacy criteria = specification test generation inadequacy criteria
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Improving test coverage using merged classification tree
Proceedings of the International Conference & Workshop on Emerging Trends in Technology
Hi-index | 0.00 |
Software developers use a variety of methods, including both formal methods and testing, to argue that their systems are suitable components for high assurance applications. In this paper, we develop another connection between formal methods and testing by defining a specification-based coverage metric to evaluate test sets. Formal methods in the form of a model checker supply the necessary automation to make the metric practical. The metric gives the software developer assurance that a given test set is sufficiently sensitive to the structure of an application's specification. In this paper, we develop the necessary foundation for the metric and then illustrate the metric on an example.