Project

General

Profile

Wiki » History » Version 9

Sergey Smolov, 05/13/2014 05:18 PM

1 4 Alexander Kamkin
[[Ideas and Proof of Concept]]
2
3 9 Sergey Smolov
[[СControl flow graph representation]]
4 2 Alexander Kamkin
[[GAA Meta-Model]]
5 1 Alexander Kamkin
[[CFG Extraction]]
6 3 Sergey Smolov
[[EFSM Building]]
7 7 Alexander Kamkin
[[EFSM Traversal]]
8 8 Igor Melnichenko
[[Test sequences XML representation]]
9 6 Alexander Kamkin
10
[[Deadlock Analysis]]