SPIN-based Eclipse Model Checking Plugin
Functional Test Automation tool for pure AS 3.0 SWF and Flash Games
Extended Robot Class
An alternative to JMX
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification
SISSy detects problem patterns OO source code