Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
A practical introduction to denotational semantics
A practical introduction to denotational semantics
Formal languages
Lex & yacc
Mutation analysis using mutant schemata
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
An experimental evaluation of selective mutation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering
PROLOG Programming for Artificial Intelligence
PROLOG Programming for Artificial Intelligence
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Introduction to Programming Using Sml
Introduction to Programming Using Sml
Mutation Testing Applied to Estelle Specifications
Software Quality Control
Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing
SCCC '99 Proceedings of the 19th International Conference of the Chilean Computer Science Society
Mutation Testing Applied to Validate Specifications Based on Statecharts
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Inter-Class Mutation Operators for Java
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
Applying mutation analysis to SDL specifications
SDL'03 Proceedings of the 11th international conference on System design
The Draco Approach to Constructing Software from Reusable Components
IEEE Transactions on Software Engineering
Traceability for mutation analysis in model transformation
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Hi-index | 0.00 |
Mutation testing has been used to assess the quality of test case suites by analyzing the ability in distinguishing the artifact under testing from a set of alternative artifacts, the so-called mutants. The mutants are generated from the artifact under testing by applying a set of mutant operators, which produce artifacts with simple syntactical differences. The mutant operators are usually based on typical errors that occur during the software development and can be related to a fault model. In this paper, we propose a language-named MuDeL (MUtant DEfinition Language)-for the definition of mutant operators, aiming not only at automating the mutant generation, but also at providing precision and formality to the operator definition. The proposed language is based on concepts from transformational and logical programming paradigms, as well as from context-free grammar theory. Denotational semantics formal framework is employed to define the semantics of the MuDeL language. We also describe a system-named mudelgen-developed to support the use of this language. An executable representation of the denotational semantics of the language is used to check the correctness of the implementation of mudelgen. At the very end, a mutant generator module is produced, which can be incorporated into a specific mutant tool/environment.