Library tools to collect timing in Java, C, C++
Linux Cluster traffic generator
Dynamically generated unit tests for basic verifications.
SPIN-based Eclipse Model Checking Plugin
IIS server log analysis
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification