JavaPathFinder |
Java PathFinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker. |
Download |
|
DbgProfiler |
|
DbgProfiler provides an easy mechanism for profiling certain hotspots of an application by just adding a few macros to the C++ source code. A hierarchy of the callers and callees is generated automatically and allows a detailed analysis of the results. |
Download |
|
MockME |
Testing library that enables unit testing of Java ME, aka J2ME, applications in a Java SE environment. The library makes it possible to use EasyMock to create mock objects in Java ME |
|
JsUnit |
|
JsUnit is a unit testing framework for client-side JavaScript in the tradition of the XUnit frameworks. |
Download |
|
RPyC (remote python call) |
|
RPyC - Remote Python Call - is a library for transparent, symmetrical RPC and distributed computing for python. |
Download |
|
CoreASM |
|
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models. |
Download |
|
unit--, the unit test aid for C++ |
|
Unit-- : a simple, easy-to-use and portable unit test aid for C++ , supporting your Test Driven Development |
Download |
|
JUnitScenario |
JUnitScenario is a java tool allowing you to define users scenarios (List of JUnit methods) and then, run them to simulate a real life usage of your applications. |
Download |
|
Lreport |
|
Database and csv files comparison tool, with some additional features of nice formatting selects' results. |
Download |
|
mocklib |
A small mock library that is extremely easy to learn with plenty of examples. Only has 5 classes for the api. This library's best feature is being able to test a 24 hour timer in milliseconds with a mockobject timer. |
Download |
|
|