bradbury

Pinned Repositories

• ARC

  A tool to automatically repair concurrency bugs in Java.

  Language:TXL64240

• ccmetrics

  A static analysis tool for calculating concurrency code metrics in Java programs.

  Language:TXL1800

• ConDesignPatterns

  Static concurrency design pattern detection and annotation in Java.

  Language:TXL1100

• ConMAn

  A concurrency mutant generation tool for mutation testing concurrent Java.

  2132

• MutationScorePredictor

  A project that will predict the mutation score of methods and classes using a support vector machine and source code metrics

  Language:Ruby23110

• ontariotech-thesis-template

  A UOIT LaTeX thesis template.

  Language:TeX101009

• RoboBUG

  A serious game for learning debugging.

  Language:C#4501

• RoboGames

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

  Language:C#941225

• TIE

  A Thread Interleaving Explorer for Java Pathfinder (JPF).

  Language:Java1400

• VisMAn

  Visualization tool for mutation testing.

  Language:Java4400

bradbury's Repositories