The Interactive Exernal Accessor Tool for develop, test and support.
Translate files between XLS / XLSX and XML format . . .
Modbus slave simulator
A novel Code transformation technique to guide test input generator
Enhanced Korat supports GUI, FSM, JUNG and JSON.
Generation of test suites from test specifications
A DSL that ease (shortens) the set up mockito based unit tests
Validation of complex Apache Oozie Hadoop workflow
SPIN-based Eclipse Model Checking Plugin