Multiple mutation testing from FSM

DOI10.1007/978-3-319-39570-8_15MaRDI QIDQ2827468zbMATH OpenOpenAlexFDO

Authors Alexandre Petrenko, Omer Nguena Timo

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)

Recommendations

• FSM-based testing from user defined faults adapted to incremental and mutation testing
• scientific article; zbMATH DE number 1870534
• Model-Based Mutation Testing of Reactive Systems
• Using Model Checking to Generate Fault Detecting Tests
• Semantic mutation testing

Cites work

• scientific article; zbMATH DE number 1746453 (Why is no real title available?)
• Testing Software Design Modeled by Finite-State Machines

Cited in

(3)

• A complete testing strategy based on interacting and hierarchical FSMs
• scientific article; zbMATH DE number 1870534 (Why is no real title available?)
• FSM-based testing from user defined faults adapted to incremental and mutation testing

Describes a project that uses

Uses Software

• z3
• Yices
• ANTLR

This page was built for publication: Multiple mutation testing from FSM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2827468)