FSM Test Translation Through Context

DOI10.1007/11754008_16MaRDI QIDQ3434661zbMATH OpenOpenAlexFDO

Authors Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11754008_16

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• TESTING USING X-MACHINE TRANSLATIONS
• FsmTest: Functional test generation for sequential circuits
• Testing a probabilistic FSM using interval estimation
• A complete testing strategy based on interacting and hierarchical FSMs
• scientific article; zbMATH DE number 2182429
• Analyzing Chor specifications by translation into FSP

Cited in

(2)

• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Composition of Model Programs

This page was built for publication: FSM Test Translation Through Context

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