Wiki » History » Revision 8
Revision 7 (Alexander Kamkin, 02/27/2014 07:44 PM) → Revision 8/39 (Igor Melnichenko, 05/05/2014 01:18 PM)
[[Ideas and Proof of Concept]]
[[Intermediate Representation]]
[[GAA Meta-Model]]
[[CFG Extraction]]
[[EFSM Building]]
[[EFSM Traversal]]
[[Test sequences XML representation]]
[[Deadlock Analysis]]