Wiki » History » Revision 11
Revision 10 (Sergey Smolov, 05/13/2014 05:18 PM) → Revision 11/39 (Sergey Smolov, 05/13/2014 05:19 PM)
[[Ideas and Proof of Concept]] [[Intermediate [[Сontrol flow graph representation]] [[GAA Meta-Model]] [[CFG Extraction]] [[EFSM Building]] [[EFSM Traversal]] [[Test sequences XML representation]] [[Deadlock Analysis]]