{"ref":"v1.1","ref_type":"tag","master_branch":"master","description":"fsmTestCompleteness is a implementation of the algorithm that checks whether a given test suite is complete as it is described in [Simao, Adenilso and Petrenko, Alexandre, 2010]: Checking completeness of Tests for Finite State Machines. DOI dx.doi.org/10.1109/TC.2010.17","pusher_type":"user"}