Jensor

Jensor 1.8

Jensor is a light-weight, low-overhead Java profiler written entirely in Java. It is built on ByteCode Instrumentation (BCI) technology. Jensor provides innovative analysis techniques that help to detect and eliminate bottlenecks in Java applications....

AceUnit

AceUnit 0.7.0

AceUnit (Advanced C and Embedded Unit): a comfortable C code unit test framework. AceUnit is JUnit 4.x style, easy, modular and flexible.This project can be used in resource constraint environments, e.g. embedded software development.What is new in this...

iogen

iogen 3.1p0

iogen is an I/O generator. iogen forks child processes that each run a mix of reads and writes. The idea is to generate heavily fragmented files to make the hardware suffer as much as possible.This tool has been used to test filesystems, drivers,...

UPPAAL

UPPAAL 4.0.6

UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).UPPAAL CORA is a branch of UPPAAL for Cost Optimal...