Eclipse 4diac the open source solution for industrial automation
Software build-automation tool written in Common Lisp
Software Unit Tests (Language Independent Approach)
A redefined framework with new approach and methodology for unit test
PyUnit and PyDev extensions for arbitrary Executables
Unified Test and Logging layer for multiple programming languages
a selenium framework
Agilo™ - The Agile Enforcement Office Suite
combinational logic functions minimization
SPIN-based Eclipse Model Checking Plugin