Skyrocket Your Test Coverage With Model-Based
Modbat [34] is an open-source tool based on extended finite-state machines specialized for testing the APIs of software. A Scala-based domain-specific language is used to create the models with features for probabilistic and nondeterministic transitions, component models with inheritance, and exceptions. Test cases are generated as sequences of method calls to the API that can […]
