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

HOL

HOL 7

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented.Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access...

inFusion

inFusion 1.7.2

inFusion is a commercial, Eclipse-based application written in Java, allowing developers to fully control software architecture quality, as well as design quality.Being able to handle Java, C++ and C projects, the main goal of inFusion is to make the...