Project

General

Profile

Actions
History

Wiki » History » Revision 17

« Previous | Revision 17/39 (diff) | Next »
Sergey Smolov, 06/06/2014 06:41 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
Used Tools

Updated by Sergey Smolov over 10 years ago · 39 revisions