SPIN-based Eclipse Model Checking Plugin
A Portable Thin Client & Server Pair for XA / 2PC Testing
Automate your software testing, the fastest way!
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification
Java5 distributed JUnit with mobile agents.