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