In early stages of software process implantation, is hard to measure the company performance. So, this project aims to help this difficult by providing a measurement process tool for software factories continuos improvement program.

The exception analyzer statically detects may-uncaught exceptions from Standard ML programs. The analyzer is completely embedded in the SML/NJ 110, to be interactively used inside the compiler's print-eval loop and also CM.

Simple Portable Memory Management (SPMM) is a small, easy to integrate memory management library for C++. The library emphasizes simplicity of use and implementation while guaranteeing leak free program execution.

Simple Fuzzer is a simple fuzzing framework which allows rapid development of protocol fuzzers for blackbox testing. It can fuzz across networks using TCP/UDP, IP4/IP6, and can be extended via plugins to perform in-depth fuzzing.

RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.

ajaxUnit is a way of unit-testing AJAX apps that are written in PHP & Javascript The test software can put your app in a predetermined state then compare the responseText from the XMLHttpRequest object with what you are expecting.

ATF is a unit tests generation tool. It uses model based testing and code based techniques. It is implemented as
ant build command and as a stand alone GUI application.
Its main goal is to provide a complete test suite for any given software under test.