Wiki » History » Revision 17
Revision 16 (Igor Melnichenko, 05/20/2014 04:30 PM) → Revision 17/39 (Sergey Smolov, 06/06/2014 06:41 PM)
[[Ideas and Proof of Concept]]
[[Control Flow Graph representation]]
[[GAA Meta-Model]]
[[CFG Extraction]]
[[EFSM Building]]
[[EFSM Traversal]]
[[Test sequences XML representation]]
[[Deadlock Analysis]]
[[Code Style Guide]]
[[Logging]]
[[Project Structure]]
[[Used Tools]]