"Counterexample team on IBM Bob 2.0 hackathon Hackathon"
Team Idea
Building Counterexample — a PR verification tool that catches bugs CI misses. For each pull request, it extracts the behavior claims the diff makes, writes adversarial tests to try to falsify them, and runs diff-scoped mutation testing to check whether the PR's own tests would actually catch a bug. Outputs a Review Receipt showing verified vs. falsified claims.
Team Members
Sadi Shihab
sadi-vector
