HOL-TestGen 1.7.0

Pinapayagan ka ng HOL-TestGen isa na magsulat ng mga pagtutukoy ng pagsubok sa logics ang mas mataas na-order (HOL). Maaari itong (kalahati) awtomatikong Partition ng puwang ng pag-input, na nagreresulta sa abstract na mga kaso ng pagsubok, at...