FSM-based testing from user defined faults adapted to incremental and mutation testing

DOI10.1134/S0361768812040019zbMath1252.68191MaRDI QIDQ1758717

N. V. Yevtushenko, R. Dorofeeva, G. V. Bochmann, K. A. El-Fakih

Publication date: 16 November 2012

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

model-based testingfinite state machinesconformance testingmutation testingincremental testing

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Testing finite state machines: Fault detection
• Testing Software Design Modeled by Finite-State Machines
• Testing finite-state machines: state identification and verification
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Unnamed Item
• Unnamed Item

This page was built for publication: FSM-based testing from user defined faults adapted to incremental and mutation testing