transfer text in diverse formats into specific xml parser-trees
Benchmark code quality and measure Technical Debt of projects in Sonar
A program to check source code for mispelings...
XJML 1.0 is a platform for Verification and Validation of Java classes
Kammerjäger is a debugging tool with integrated correctness proving.