SPIN-based Eclipse Model Checking Plugin
Functional Test Automation tool for pure AS 3.0 SWF and Flash Games
A framework that translate name-based pointcut to analysis-based ones
A tool can debug and profile javascript in multi mobile browsers
QuickREx2 Regular Expressions
Community Supported Eclipse Visual Editor
The JUnit4OSGi eclipse plug-in generator.
Eclipse Plugin to generated PHP classes from existing database schema
XJML 1.0 is a platform for Verification and Validation of Java classes
the disruptive IDE for COBOL developers
SISSy detects problem patterns OO source code