HOL-TestGen 1.7.0
در HOL-TestGen اجازه می دهد تا یک به ارسال مشخصات آزمون در منطق مرتبه بالاتر (HOL). این می تواند (نیمه) به طور خودکار پارتیشن فضای ورودی، و در نتیجه موارد آزمون انتزاعی، و به طور خودکار داده ها از آزمون بتن را انتخاب کنید.نسل خودکار از محافظ آزمون (در SML) پشتیبانی می شود، و با استفاده از یک رابط زبان خارجی، پیاده...