C/C++ function instrumentation (AOP, exception/stack tracing, GC)
Synthesizing embedded control software from formal specifications
Generating PLC programs from formal specifications
Java library for automated Soap & Rest web Services Creation
Eclipse Plug-in for Automatic Refactoring of Fit Tests.
Create units and attacks for Wesnoth!
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification