Pinned Repositories
AdventOfPBT
Advent of PBT 2021 by https://twitter.com/ndubien. Implementations using jqwik.
ConcurrencyOnJvmAndElsewhere
For my concurrency talks
Functional-TDD-Workshop
Repository for collection material and ideas for workshop on TDD with functional programming languages.
how-to-specify-it
"How to Specify it" in Java and jqwik
model-based-testing
Article and code to explain stateful and model-based property testing with example in Java
Parse4SJM
Java-based language parsing framework that does not require any code generation steps
property-based-testing
property-based-testing-in-kotlin
Property-based Testing in Kotlin. Mostly with jqwik.
shrinking-challenge
Comparing shrinking approaches and performance across different PBT libraries
tailrec
Provide a Groovy AST transformation to convert tail recursive methods into iterative ones
jlink's Repositories
jlink/shrinking-challenge
Comparing shrinking approaches and performance across different PBT libraries
jlink/how-to-specify-it
"How to Specify it" in Java and jqwik
jlink/tailrec
Provide a Groovy AST transformation to convert tail recursive methods into iterative ones
jlink/model-based-testing
Article and code to explain stateful and model-based property testing with example in Java
jlink/property-based-testing
jlink/property-based-testing-in-kotlin
Property-based Testing in Kotlin. Mostly with jqwik.
jlink/AdventOfPBT
Advent of PBT 2021 by https://twitter.com/ndubien. Implementations using jqwik.
jlink/property-driven-development
Examples for combining TDD and PBT using Java and jqwik
jlink/junit5-the-platform
Examples for Presentation about "JUnit 5 - The Platform"
jlink/pbt-workshop
Exercises and Solutions for Workshop on Property-based Testing with Java
jlink/random-numbers
jlink/tdd-fau
Example code for lecture at Friedrich-Alexander University Erlangen-Nürnberg
jlink/approvaltests-experiments
jlink/contract-testing
Contract Testing with Java
jlink/djl-innovationweeks
An Engine-Agnostic Deep Learning Framework in Java
jlink/domain-data-generation-in-pbt
How to Generate Domain Data for Your Properties
jlink/gischat-2022-10
Result of HeiGIT's Agile Immersion Camp in October 2022
jlink/intellij-kotlin-function-names-bug
jlink/intellij-missing-run-decorator
Revealing intellij bug
jlink/jqwik-micronaut-extension
jlink/kata-bootstraps
Empty projects for different languages with a failing test
jlink/kotlin-java-annotation-bug
Reproduce IntelliJ Bug with default values in repeatable annotations
jlink/KotlinAnnotatedTypeBug
jlink/ltlf-poc
Linear Temporal Logic (finite) POC
jlink/minimal-mistakes
:triangular_ruler: A flexible two-column Jekyll theme perfect for building personal sites, blogs, and portfolios.
jlink/pbt-etffm21
Property-based Testing Workshop am Entwicklertag Frankfurt 2021
jlink/pbt-kotlin
Property-based Testing in Kotlin
jlink/pbt-stateful-examples
Stateful properties examples to experiment with new state-based jqwik api
jlink/qstag-2018
Codebeispiele für Tutorial "Unit Testing für Tester"
jlink/the-game-of-tak
The Game of Tak