Alt-Ergo
SMT solver used as automatic prover in program verification tools
AMP
Cloud platform for managing digital accessibility testing and compliance
Anthill
Web-based bug tracker written in Perl
ANTS
Performance profiler for .NET applications
AntUnit
Apache Ant library for testing Ant tasks and types
ApacheBench
Command-line HTTP server benchmarking tool bundled with Apache httpd