tcsv2png

tcsv2png 1.0.1

tcsv2png is a data visualization of CSV data with a time column.SYNPSIStcsv2png [Options] CSV_FILE [COL0 [COLi ...]]DESCRIPTIONtcsv2png uses gnuplot to convert a csv file with a time column format %H:%m:%S into a chart in png format.It scales the data to...

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...

Sahi

Sahi 20110719

Sahi is an automation and testing tool for web applications, with the facility to record and playback scripts.Developed in java and javascript, this tool uses simple javascript to execute events on the browser. Sahi's features include, in-browser...

NUnit

NUnit 2.6.3 / 2.9.6

NUnit is an open source and completely free unit testing development framework designed especially for all .NET languages, initially ported from JUnit, running on Mono and Microsoft .NET.Being written entirely in C#, NUnit has been designed to take...

Acovea

Acovea 1.0.1

Acovea implements a genetic algorithm for finding the "best" options for compiling programs with the GCC C and C++ compilers.ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best" options for...

grandma

grandma 0.1 Alpha 2

grandma is a set of utilities for combinatorial testing.Developer commentsI have been working exclusively on testing software for over five years now...Currently I try to provide support on a best effort basis. You should address the discussion forum in...