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]] |