Project

General

Profile

Actions
History

Wiki » History » Revision 16

« Previous | Revision 16/39 (diff) | Next »
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

Updated by Igor Melnichenko over 10 years ago · 39 revisions