Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
A semantic model of program faults
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Specification-based testing of reactive software: tools and experiments: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
An experimental evaluation of selective mutation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering
Mutation testing for the new century
Mutation testing for the new century
State-Based Model Checking of Event-Driven System Requirements
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
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Test Sequences Generation from LUSTRE Descriptions: GATEL
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Automatic Testing of Reactive Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
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
Mutation analysis of program test data
Mutation analysis of program test data
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
MuJava: an automated class mutation system: Research Articles
Software Testing, Verification & Reliability
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
| Hi-index | 0.00 |
Mutation analysis is usually used to provide indication of the fault detection ability of a test set. It is mainly used for unit testing evaluation. This paper describes mutation analysis principles and their adaptation to the Lustre programming language. Alien-V, a mutation tool for Lustre is presented. Lesar model-checker is used for eliminating equivalent mutant. A first experimentation to evaluate Lutess testing tool is summarized.