Project

General

Profile

Wiki » History » Revision 10

Revision 9 (Sergey Smolov, 05/13/2014 05:18 PM) → Revision 10/39 (Sergey Smolov, 05/13/2014 05:18 PM)

[[Ideas and Proof of Concept]] 

 [[Сontrol [[СControl flow graph representation]] 
 [[GAA Meta-Model]] 
 [[CFG Extraction]] 
 [[EFSM Building]] 
 [[EFSM Traversal]] 
 [[Test sequences XML representation]] 

 [[Deadlock Analysis]]