A C++ library containing algorithms for processing finite state machines and deriving test cases from FSMs
Primary LanguageC++