Executable state charts, property based testing and more.
Primary LanguageJava
No one’s watching this repository yet.