Cooperative Verifier-Based Testing with CoVeriTest, paper in STTT, just got published.

All software that we develop or maintain is copyrighted as free software.
Most of our software is available on GitHub or GitLab.

Current Projects