Till this date, CSD has the following projects as an outcome of their research. These are:


The State-Oriented Fitness evaluation of Test cases (SOFT) tool is developed for Evolutionary Testing implementing Genetic Algorithm. This tool is able to evaluate the fitness of test cases by keeping the state variables’ fitness separate from coverage fitness.


The CHange Identifier at data Member level for object-oriented Programs (CHIMP) is regression testing tool. This is an efficient tool and is able to find out the differences between the baseline and the delta version of the program in HTML format.


State COllaboration TEst Model or SCOTEM is a testing model, which is used to generate test paths. Collaboration diagrams with selected transitions of state charts are used to generate the intermediate model SCOTEM.


State COllabOration Testing EnviRonment (SCOOTER) is the automation tool for the State COllaboration TEst Model (SCOTEM). The automated testing environment builds a test model from the UML Collaboration and State-chart diagrams (obtained as UML [XMI]). The test model is then used to generate and execute a set of test-sequences based on a specified coverage criterion. SCOOTER supports a number of coverage criteria defined for SCOTEM. SCOOTER is developed in Java and supports XMI v1.3. The architecture diagram of SCOOTER:


TinMan is a test derivation and management tool developed at the University of Queensland, Australia. The tool supports the test template framework and is based on Object-Z specification. The eTinMan (enhanced TinMan) project enhances the TinMan tool by allowing the testing strategies to be formally specified in Z and given as input to the tool. This allows the tester to choose a test case generation strategy from the strategies available in the tool’s repository. The eTinMan has been implemented in Java language.