• Stars
    star
    1
  • Language
    Java
  • Created almost 6 years ago
  • Updated almost 6 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Example code for lecture at Friedrich-Alexander University Erlangen-Nürnberg

More Repositories

1

how-to-specify-it

"How to Specify it" in Java and jqwik
Java
20
star
2

shrinking-challenge

Comparing shrinking approaches and performance across different PBT libraries
Java
20
star
3

tailrec

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

model-based-testing

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

property-based-testing

Java
5
star
6

Parse4SJM

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

AdventOfPBT

Advent of PBT 2021 by https://twitter.com/ndubien. Implementations using jqwik.
Kotlin
3
star
8

ConcurrencyOnJvmAndElsewhere

For my concurrency talks
Java
2
star
9

jax2017

Code-Beispiele für Vortrag bei JAX 2017
Java
2
star
10

property-driven-development

Examples for combining TDD and PBT using Java and jqwik
Java
2
star
11

Functional-TDD-Workshop

Repository for collection material and ideas for workshop on TDD with functional programming languages.
Java
2
star
12

property-based-testing-in-kotlin

Property-based Testing in Kotlin. Mostly with jqwik.
Kotlin
2
star
13

mockme

A mocking and stubbing framework for javascript
JavaScript
1
star
14

tdd-entschluesselt

Codebeispiele und mehr zu meinem Buchprojekt "Testgetriebene Entwicklung: Entschlüsselt"
Groovy
1
star
15

Parallel2013

Code and examples for parallel2013 conference.
Groovy
1
star
16

katas

Katas in diverse programming languages
Groovy
1
star
17

random-numbers

Java
1
star
18

pbt-workshop

Exercises and Solutions for Workshop on Property-based Testing with Java
Java
1
star
19

junit5-the-platform

Examples for Presentation about "JUnit 5 - The Platform"
Java
1
star