Wiki » History » Version 12
Mikhail Chupilko, 05/13/2014 05:22 PM
| 1 | 4 | Alexander Kamkin | [[Ideas and Proof of Concept]] |
|---|---|---|---|
| 2 | |||
| 3 | 11 | Sergey Smolov | [[Intermediate representation]] |
| 4 | 12 | Mikhail Chupilko | [[Control Flow Graph representation]] |
| 5 | 2 | Alexander Kamkin | [[GAA Meta-Model]] |
| 6 | 1 | Alexander Kamkin | [[CFG Extraction]] |
| 7 | 3 | Sergey Smolov | [[EFSM Building]] |
| 8 | 7 | Alexander Kamkin | [[EFSM Traversal]] |
| 9 | 8 | Igor Melnichenko | [[Test sequences XML representation]] |
| 10 | 6 | Alexander Kamkin | |
| 11 | [[Deadlock Analysis]] |