HOL-TestGen 1.7.0
HOL-TestGen gör att man kan skriva testspecifikationer i högre ordningens logik (HOL). Det kan (halv-) automatiskt partitionera ingångsutrymmet, vilket resulterar i abstrakta testfall, och väljer konkreta testdata automatiskt.Automatisk generering av test...
Senast visade programvara
Scripts n Styles 13 Apr 15
Open Mind 1 Dec 18
Respect\Template 1 Mar 15
O&O DiskImage Server Edition (32 bit) 11 Apr 15
Microsoft Office 2000 Update: Service Pack 2 (SP-2) for MultiLanguage Pack 6 Dec 15
-
Communication Protocol Suite for .NET 3 May 15
webpack 19 Jul 15
Efficient Password Manager Server 1 Jan 15
Instant WebKiosk/UB 27 Apr 17
Netrunner Rolling Edition 12 Mar 16