#

counterexample-generation

Here is 1 public repository matching this topic...

MarinJursic / PatchProof

Adversarial software verification that finds, minimizes, replays, and exports counterexamples for faulty patches.

python typescript mutation-testing nextjs property-based-testing fuzzing vscode-extension software-quality software-verification metamorphic-testing counterexample differential-testing fastapi adversarial-testing counterexample-generation

Updated Jul 26, 2026
TypeScript

Improve this page

Add a description, image, and links to the counterexample-generation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the counterexample-generation topic, visit your repo's landing page and select "manage topics."