HOL-TestGen 1.7.0
HOL-TestGen pozwala pisać specyfikacji testów w logiki wyższego rzędu (HOL). To może (pół) automatycznie podzielić przestrzeń wejściową, w wyniku abstrakcyjnych przypadków testowych, i automatycznie wybrać dane z badań konkretnych.Automatyczna generacja...
Ostatnio oglądane oprogramowania
CloudMounter 14 Aug 18
iLike SWF to MP4 Converter 14 Aug 18
RiotBall 25 Oct 15
Krita Portable (32-bit) 14 Aug 18
BMI-HealthMonitor Calculator 23 Sep 15
-
SyncMaster 757p(T)/707p/750p,MagicSyncMaster CM177A(P) 5 Dec 15
-
VideoMate U8xx/U9xx 23 Sep 15
Times Table 31 Dec 14
-
Universal Emailer 20 Sep 15
-
Gigabyte GA-990FXA-UD5 (rev. 3.0) Etron USB 3.0 Driver 18 Apr 15