HOL-TestGen 1.7.0
HOL-TestGen memungkinkan seseorang untuk menulis spesifikasi uji Tinggi-order logika (HOL). Hal ini dapat (semi-) otomatis partisi ruang input, sehingga kasus uji abstrak, dan secara otomatis memilih data uji beton.Otomatis generasi memanfaatkan tes (di...
