operating system: MS Windows

Alt-Ergo is an automatic prover of mathematical formulas used behind software verification tools such as Frama-C, SPARK, Why3, Atelier-B and…

Read More

Let’s say you must test something that involves a lot of different variables. Configuration testing is like that: different printers,…

Read More

Web Polygraph is a freely available performance testing tool for caching proxies, origin server accelerators, L4/7 switches, content filters, and…

Read More

tSQLt is a database unit testing framework for Microsoft SQL Server. tSQLt is compatible with SQL Server 2005 (service pack…

Read More

For short and long term success, software testing solutions need to be dynamic, flexible and able to be deployed easily…

Read More

SmarteScript’s Learn and Interact function intuitively learns windows and objects used in an application. Create test skeletons for each business…

Read More

“Scirocco” is an open source Application testing tool from Sonix. You will be able to access necessary testing devices from…

Read More

Automate functional and regression testing of web, Windows, and Java applications, and load test web applications.

Read More

Perltidy is a Perl script which indents and reformats Perl scripts to make them easier to read. If you write…

Read More

MozTrap is a test case manager by Mozilla.

Read More