Mutation Testing Applied to Validate Specifications Based on Petri Nets

Interface Mutation: An Approach for Integration Testing

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)

Mutation Testing Applied to Validate Specifications Based on Statecharts

ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering

Towards Mutation Analysis for Lustre Programs

Electronic Notes in Theoretical Computer Science (ENTCS)

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

Testing techniques in software engineering

Testing techniques in software engineering

A scoping study on the 25 years of research into software testing in Brazil and an outlook on the future of the area

Journal of Systems and Software

Testing Real-Time Embedded Systems using Timed Automata based approaches

Journal of Systems and Software