HOL-TestGen 1.7.0
Hol-TestGen (Hol) এক উচ্চ-অর্ডার ন্যায়শাস্ত্র পরীক্ষা উল্লেখ লিখতে পারবেন. এটা (আধা) স্বয়ংক্রিয়ভাবে বিমূর্ত পরীক্ষার ক্ষেত্রে, ফলে ইনপুট স্থান পার্টিশন, এবং স্বয়ংক্রিয়ভাবে কংক্রিট পরীক্ষা তথ্য নির্বাচন করতে পারেন.(SML মধ্যে) পরীক্ষা harnesses...