C/C++ function instrumentation (AOP, exception/stack tracing, GC)
Selenium Hybrid Automation Framework with BDD tool Cucumber
Synthesizing embedded control software from formal specifications
A Python multiplatform tool to filter, colorise and analyse logs