seer-lab/RoboBUG
A serious game for learning debugging.
Mining GitHub projects to learn about open source software development communities and practices.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A serious game for learning debugging.
An automatic bug repair tool for concurrent Java programs. Utilizes Java PathFinder (JPF) model checker.
Visualization tool for mutation testing.
A UOIT LaTeX thesis template.