Project

General

Profile

Actions
History

Wiki » History » Revision 15

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

Project Structure

Updated by Sergey Smolov over 10 years ago · 39 revisions