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

DOI10.3785/J.ISSN.1008-973X.2010.11.025zbMATH Open1240.68208MaRDI QIDQ3170111FDOQ3170111

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

Publication date: 29 September 2011

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

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)

Cited In (1)

• Title not available (Why is that?)

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)