A Fortran language system for mutation-based software testing
Software—Practice & Experience
Comparison of program testing strategies
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
All-uses vs mutation testing: an experimental comparison of effectiveness
Journal of Systems and Software
Evaluating Testing Methods by Delivered Reliability
IEEE Transactions on Software Engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
An empirical study of regression test selection techniques
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
More Experience with Data Flow Testing
IEEE Transactions on Software Engineering
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
ACM SIGSOFT Software Engineering Notes
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
IEEE Transactions on Software Engineering
A practical approach to testing GUI systems
Empirical Software Engineering
Sufficient mutation operators for measuring test effectiveness
Proceedings of the 30th international conference on Software engineering
A methodology for evaluating test coverage criteria of high levelPetri nets
Information and Software Technology
Is operator-based mutant selection superior to random mutant selection?
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |
A number of testing strategies have been proposedusing state machines and statecharts as test models inorder to derive test sequences and validate classes orclass clusters. Though such criteria have the advantage ofbeing systematic, little is known on how cost effective theyare and how they compare to each other.This article presents a precise simulation and analysisprocedure to analyze the cost-effectiveness of statechart-basedtesting techniques. We then investigate, using thisprocedure, the cost and fault detection effectiveness ofadequate test sets for the most referenced coveragecriteria for statecharts on three different representativecase studies. Through the analysis of common results anddifferences across studies, we attempt to draw moregeneral conclusions regarding the costs and benefits ofusing the criteria under investigation.