Project

General

Profile

Wiki » History » Version 13

Mikhail Chupilko, 05/13/2014 05:24 PM

1 4 Alexander Kamkin
[[Ideas and Proof of Concept]]
2
3 12 Mikhail Chupilko
[[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]]