Skip to content

danilchenko-andrey/trace-models

Repository files navigation

trace-models

This is tool for automatic building extended finite state machines on existent Java program by tracing it's executions. All this work is part of my master thesis in SPbSRU ITMO (CTD department, 2013)

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published