agbs-uni-bremen/fsmlib-cpp
A C++ library containing algorithms for processing finite state machines and deriving test cases from FSMs
C++
Issues
- 0
DFSMs are not minimised
#13 opened - 0
Duplicate traces produced by HSI-Method?
#12 opened - 2
Question regarding FsmNode::apply()
#11 opened - 2