Alt-Ergo
SMT solver used as automatic prover in program verification tools
AntUnit
Apache Ant library for testing Ant tasks and types
Appium
Open source UI automation framework for mobile, browser, desktop and TV apps
Applitools Eyes
Visual AI testing of web and mobile application user interfaces
appOwiz
In-app feedback, bug reporting and crash reporting for mobile and web apps
AppPerfect App Test
Functional and regression test automation for desktop applications (end of life)