Automating Traceability for Generated Software Artifacts
Proceedings of the 19th IEEE international conference on Automated software engineering
Decompositional Verification of Component-based Systems-A Hybrid Approach
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)
Domain Consistency in Requirements Specification
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Generation of test purposes from use case maps
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Property relevant software testing with model-checkers
ACM SIGSOFT Software Engineering Notes
Automatic generation of model based tests for a class of security properties
Proceedings of the 3rd international workshop on Advances in model-based testing
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
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Control
A mutation model for the SystemC TLM 2.0 communication interfaces
Proceedings of the conference on Design, automation and test in Europe
Data Flow Analysis and Testing of Abstract State Machines
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Complementary Criteria for Testing Temporal Logic Properties
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
A methodology for evaluating test coverage criteria of high levelPetri nets
Information and Software Technology
Generation of test purposes from Use Case Maps
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Applying mutation analysis to SDL specifications
SDL'03 Proceedings of the 11th international conference on System design
A generic approach to run mutation analysis
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
UML in action: a two-layered interpretation for testing
ACM SIGSOFT Software Engineering Notes
Fault-based test suite prioritization for specification-based testing
Information and Software Technology
Formal methods and testing: hypotheses, and correctness approximations
FM'05 Proceedings of the 2005 international conference on Formal Methods
An automata-theoretic approach for model-checking systems with unspecified components
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
From faults via test purposes to test cases: on the fault-based testing of concurrent systems
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
SP 800-142. Practical Combinatorial Testing
SP 800-142. Practical Combinatorial Testing
Hi-index | 0.01 |
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge about a system, and a recent method uses such specifications to automatically generate complete test suites via mutation analysis. We define an extensive set of mutation operators for use with this method. We report the results of our theoretical and experimental investigation of the relationships between the classes of faults detected by the various operators. Finally, we recommend sets of mutation operators which yield good test coverage at a reduced cost compared to using all proposed operators.