@sqrlab

Software Quality Research Lab at University of Ontario IT

The SQR Lab focuses on software quality of multicore and open source systems.

Pinned repositories

  1. TIE

    A Thread Interleaving Explorer for Java Pathfinder (JPF).

    Java 1

  2. ARC

    A tool to automatically repair concurrency bugs in Java.

    TXL 3

  3. ConMAn

    A concurrency mutant generation tool for mutation testing concurrent Java.

    2 2

  4. RoboBUG

    A serious game for learning debugging.

    ASP 1

  5. RobotON

    A game for learning programming through understanding and comprehension of source code.

    C#

  6. Threaded-Paws

    Forked from lrojas12/threadedpaws

    Serious game for learning about concurrency - thread interleavings, data races and deadlocks.

    C# 1

  • Gidget

    Forked from andyjko/Gidget

    Computing education through playful debugging

    JavaScript 1 Updated Jun 18, 2018
  • Serious game for learning about concurrency - thread interleavings, data races and deadlocks.

    C# 1 1 MPL-2.0 Updated Nov 27, 2017
  • A serious game for learning debugging.

    ASP 1 MPL-2.0 Updated Jul 20, 2017
  • A concurrency testing plugin for Java projects in Eclipse.

    Java 1 Updated May 12, 2017
  • A tool to automatically repair concurrency bugs in Java.

    TXL 3 MPL-2.0 Updated May 12, 2017
  • A static analysis tool for calculating concurrency code metrics in Java programs.

    TXL 1 MPL-2.0 Updated May 11, 2017
  • A visualization plugin for Eclipse that prioritizes tests for 10 minute builds.

    Java MPL-2.0 Updated May 11, 2017
  • A game for learning programming through understanding and comprehension of source code.

    C# MPL-2.0 Updated May 11, 2017
  • A game for learning path finding algorithms in Python.

    C# MPL-2.0 Updated May 11, 2017
  • A UOIT LaTeX thesis template.

    TeX 5 6 Updated Apr 27, 2016
  • Visualization tool for mutation testing.

    Java Updated Aug 14, 2013
  • A Thread Interleaving Explorer for Java Pathfinder (JPF).

    Java 1 Updated Jul 16, 2013
  • A concurrency mutant generation tool for mutation testing concurrent Java.

    2 2 MIT Updated Dec 20, 2012
  • A project that will predict the mutation score of methods and classes using a support vector machine and source code metrics

    Ruby 2 MIT Updated Oct 23, 2012
  • A program to convert the XML output of the Eclipse Metrics Plugin into other specified output formats.

    Python 1 2 MIT Updated Nov 5, 2011