Hexawise
Combinatorial test design tool
CucumberStudio
Collaboration and test management platform for BDD (formerly Hiptest)
HOL-TestGen
Specification-based test case generator built on Isabelle/HOL
OpenText Application Quality Management
Application lifecycle and test management (formerly HP ALM / Quality Center)
OpenText Functional Testing
Functional test automation tool (formerly HP UFT)
ht://Check
Link checker and web accessibility checker