seer-lab/RoboBUG
A serious game for learning debugging.
Developer Profile
seer-lab
Discovered public repositories for seer-lab in the GitHub catalog.
seer-lab/CORE
An automatic bug repair tool for concurrent Java programs. Utilizes Java PathFinder (JPF) model checker.
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.
seer-lab/eclipse_metrics_xml_reader
A program to convert the XML output of the Eclipse Metrics Plugin into other specified output formats.
seer-lab/ARC-Test-Suite
Test suite, test set-up and test results for ARC
seer-lab/ccmetrics
A static analysis tool for calculating concurrency code metrics in Java programs.
seer-lab/TIE
A Thread Interleaving Explorer for Java Pathfinder (JPF).
seer-lab/ConMAn
A concurrency mutant generation tool for mutation testing concurrent Java.
seer-lab/Eclipticon
A concurrency testing plugin for Java projects in Eclipse.
seer-lab/MutationScorePredictor
A project that will predict the mutation score of methods and classes using a support vector machine and source code metrics
seer-lab/ARC
A tool to automatically repair concurrency bugs in Java.