An adaptive generation algorithm for executable state identification sequences in the EFSM model

DOI10.3785/J.ISSN.1008-973X.2010.11.025MaRDI QIDQ3170111zbMATH OpenFDO

Authors Ting Shu, Shouqian Sun, Haining Wang, Weiqiang Xu

Publication date 29 September 2011

zbMATH Keywords

state identificationextended finite state machineprotocol conformance test

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Test sequence generation from the protocol data portion based on the selecting Chinese postman algorithm
• Publication:4942006
• Towards deriving test sequences by model checking
• scientific article; zbMATH DE number 2013785

Cited in

(1)

• scientific article; zbMATH DE number 1418451 (Why is no real title available?)

This page was built for publication: An adaptive generation algorithm for executable state identification sequences in the EFSM model

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