HOL-TestGen 1.7.0
HOL-TestGen permite escrever especificações de teste em lógicas de ordem superior (HOL). Ele pode (semi-) particionar automaticamente o espaço de entrada, resultando em casos de teste abstratas e selecionar automaticamente os dados de teste de concreto.A...
Aplicativos vistos recentemente
Net Search Web Browser 26 Jan 15
Multi-Format Source DirectShow Filter 31 Dec 14
-
XML Web Service Tester 22 Sep 15
-
File Fuse 23 Sep 15
Multiple Search and Replace 27 Oct 18
-
Visual Studio .NET 2003 Crystal Reports Security Update 21 Sep 15
mysolr 13 Apr 15
-
SQLite3 database manager Lite 25 Oct 15