Agile Requirements Designer
Model-based test design tool deriving test cases from flowchart models
A Real Validator
Offline HTML validator for Windows based on an SGML parser
AdaControl
Rule-based static analysis tool for Ada source code
AdaTEST 95
Unit and integration testing tool for Ada 95 on host and embedded targets
AgitarOne
JUnit test generation and code agitation tool for Java
Alt-Ergo
SMT solver used as automatic prover in program verification tools