Actions
Wiki » History » Revision 11
« Previous |
Revision 11/39
(diff)
| Next »
Sergey Smolov, 05/13/2014 05:19 PM
Intermediate representation
GAA Meta-Model
CFG Extraction
EFSM Building
EFSM Traversal
Test sequences XML representation
Updated by Sergey Smolov over 10 years ago · 39 revisions