seer-lab/CORE
An automatic bug repair tool for concurrent Java programs. Utilizes Java PathFinder (JPF) model checker.
Public GitHub Catalog
Discovered Sep 30, 2026
seer-lab / RoboBUG
A serious game for learning debugging.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#19546742GitHub System ID
seer-labOrganization / User
PublicVisibility
ActiveCatalog Status
More from seer-lab
seer-lab/VisMAn
Visualization tool for mutation testing.
seer-lab/GitView
Mining GitHub projects to learn about open source software development communities and practices.
seer-lab/ontariotech-thesis-template
A UOIT LaTeX thesis template.