Project

General

Profile

Wiki » History » Version 10

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

1 4 Alexander Kamkin
[[Ideas and Proof of Concept]]
2
3 10 Sergey Smolov
[[Сontrol 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]]