Harus memiliki Jaminan kualitas dan pengujian perangkat lunak Untuk Achim D. Brucker and Burkhart Wolff

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...