Project

General

Profile

Actions
History

Wiki » History » Revision 14

« Previous | Revision 14/39 (diff) | Next »
Sergey Smolov, 05/13/2014 05:45 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

Updated by Sergey Smolov over 10 years ago · 39 revisions