Annotations the SpotBugs tool supports

Infrastructure and core interfaces of LearnLib

Example learning setups to be used for integration testing

This artifact contains algorithms for incrementally constructing DFAs (prefix-closed and non-prefix-closed),

TestNG is a testing framework inspired from JUnit and NUnit but introducing some new functionalities that make it more ...

Membership and equivalence oracles using an automaton model as backend