Testing finite state machines: Fault detection

DOI10.1006/jcss.1995.1019zbMath0826.68044OpenAlexW2073074602MaRDI QIDQ1892217

Yanyan Li

Publication date: 5 July 1995

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jcss.1995.1019

zbMATH Keywords

finite state machineschecking sequencefault detection problem

Mathematics Subject Classification ID

Related Items (3)

Testing linear operators ⋮ FSM-based testing from user defined faults adapted to incremental and mutation testing ⋮ Reduced checking sequences using unreliable reset

This page was built for publication: Testing finite state machines: Fault detection