Popular repositories

1. how-to-specify-it how-to-specify-it Public

   "How to Specify it" in Java and jqwik

   Java 23 3

2. shrinking-challenge shrinking-challenge Public

   Comparing shrinking approaches and performance across different PBT libraries

   Java 20 13

3. tailrec tailrec Public archive

   Provide a Groovy AST transformation to convert tail recursive methods into iterative ones

   Groovy 11 1

4. model-based-testing model-based-testing Public

   Article and code to explain stateful and model-based property testing with example in Java

   Java 8 1

5. property-based-testing property-based-testing Public

   Java 6

6. Parse4SJM Parse4SJM Public

   Java-based language parsing framework that does not require any code generation steps

   Java 4