Author

Koen Claessen

h-index 36 View on Semantic Scholar

We have 2 of 142 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Using SAT-Solving

J. Bransen, L. Thomas van Binsbergen, Koen Claessen et al. · 0 citations

Open access Aug 2026

QuickChecking Convergence of Rewriting Systems (Functional Pearl)

A QuickCheck testing method based on generating and shrinking random execution traces based on checking if the first and last terms of a generated trace share the same deterministic normal form that efficiently finds counterexamples and enables fast, robust shrinking.

Koen Claessen · Proc. ACM Program. Lang. · 0 citations