Project

General

Profile

Wiki » History » Revision 16

Revision 15 (Sergey Smolov, 05/16/2014 05:18 PM) → Revision 16/39 (Igor Melnichenko, 05/20/2014 04:30 PM)

[[Ideas and Proof of Concept]] 

 [[Control Flow Graph representation]] 
 [[GAA Meta-Model]] 
 [[CFG Extraction]] 
 [[EFSM Building]] 
 [[EFSM Traversal]] 
 [[Test sequences XML representation]] 

 [[Deadlock Analysis]] 

 [[Code Style Guide]] 
 [[Logging]] 

 [[Project Structure]]