Multiple Mutation Testing from FSM

DOI10.1007/978-3-319-39570-8_15zbMath1347.68236OpenAlexW2460620709MaRDI QIDQ2827468

No author found.

Publication date: 19 October 2016

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01432920/file/426757_1_En_15_Chapter.pdf

zbMATH Keywords

FSMconformance testingmutation testingfault modellingtest coveragefault coverage analysisfault model-based test generation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Yices
• z3
• Unnamed Item

Cites Work

• Testing Software Design Modeled by Finite-State Machines
• Unnamed Item

This page was built for publication: Multiple Mutation Testing from FSM