java-check/src/test/java/au/id/zancanaro/javacheck/statem, branch master Property-based testing for Java within JUnit. http://onix.zancanaro.id.au/Archive/java-check/atom?h=master 2015-06-05T07:30:46Z More work on the stateful checker; still not perfect, but it's getting better 2015-06-05T07:30:46Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-05T07:30:46Z urn:sha1:05ec409ce96da92d430c4a8e58b08d46f42d667a First cut of a stateful testing framework (it's pretty hacky at the moment, but all the pieces are there) 2015-06-05T04:51:03Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-05T04:51:03Z urn:sha1:20b1226b4eb10e85497862bd73fe9e9a2f05191d