Software

The list of software below is not completely up-to-date (i.e. it does not include software developed in research projects from 2009-2010). I am currently in the process of deploying software repository management software and will have more information on past and current software posted in the next few months (~April-May 2010). In the meantime if you would like to obtain any of the software listed below please send me an email.

ExMAn Framework

http://faculty.uoit.ca/bradbury/exman/

The Experimental Mutation Analysis Framework is automated, general and flexible and allows for the comparison of different quality assurance techniques such as testing, model checking, and static analysis. The goal of ExMAn is to provide a tool that facilitates the mutation based comparison of different fault detection approaches by:

We are currently testing and debugging the software before we release it.

ConMAn Operators

http://faculty.uoit.ca/bradbury/conman/

A set of Concurrency Mutation Analysis operators for the Java programming language. The ConMAn operators can be used as a plugin-in for the EXMan Framework or can be used as a stand-alone tool. All of the ConMAn operators are implemented in the TXL source transformation language.

Graphical Database for Category Theory (GDCT) 3.0

http://mathcs.mta.ca/research/rosebrugh/gdct/

Java-based mathematical software for the creation, editing and visualization of categories. This software was developed at Mount Allison University under the supervision of Robert Rosebrugh. I was the primary developer from 1998-2000 and was involved with version 1.0 and version 2.0. I am currently not involved with this software project. Version 3.0, released in 2004, is currently available for download.