Architecture of the state coverage Testcase generation strategy
Now the class: StatesCoverageAnalyzer is duplicated, and a bit inconsistent - in testing the method “stateCanBeReachedLTL” is used while in analyses the method “stateCanNotBeReachedLTL”
I propose to move this class to the testing plugin and use the stateCanNotBeReached …
using the negated variant gives a counterexample with the trace to state.
(from redmine: issue id 753, created on 2012-03-28, closed on 2012-04-23)