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