Wiki » History » Revision 13
Revision 12 (Mikhail Chupilko, 05/13/2014 05:22 PM) → Revision 13/39 (Mikhail Chupilko, 05/13/2014 05:24 PM)
[[Ideas and Proof of Concept]]
[[Intermediate representation]]
[[Control Flow Graph representation]]
[[GAA Meta-Model]]
[[CFG Extraction]]
[[EFSM Building]]
[[EFSM Traversal]]
[[Test sequences XML representation]]
[[Deadlock Analysis]]