Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
On fault coverage of tests for finite state specifications
Computer Networks and ISDN Systems - Special issue on protocol testing
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Mutation Testing Applied to Validate Specifications Based on Petri Nets
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Mutation Versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness
Software Quality and Productivity: Theory, practice and training
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Mutation Testing Applied to Estelle Specifications
Software Quality Control
Constructing Self-Testable Software Components
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Towards Mutation Analysis for Lustre Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
A transformational language for mutant description
Computer Languages, Systems and Structures
Mutation testing from probabilistic and stochastic finite state machines
Journal of Systems and Software
Applying mutation analysis to SDL specifications
SDL'03 Proceedings of the 11th international conference on System design
Fault-based generation of test cases from UML-Models: approach and some experiences
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Message confidentiality testing of security protocols: passive monitoring and active checking
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
Science of Computer Programming
Journal of Systems and Software
| Hi-index | 0.00 |
The establishment of a low-cost, effective testing and validation strategy has been pursued by many researchers at the program level as well as at the specification level. The application of Mutation Testing for validating specifications based on Statecharts is proposed. A mutation operator set for Statecharts ? one of the crucial points for effectively applying Mutation Testing ? is defined; in this scope these operators can be taken as a fault model. We also provide strategies to abstract the statecharts components according to different Statecharts features that may comprise the testing and validation activity aims, providing is this way mechanisms for the establishment of an incremental, hierarchical, mutation-based testing strategy. Implementation and functional aspects of PROTEUM/ST, a tool currently under development, are also presented.