HOL-TestGen 1.7.0
HOL-TestGen επιτρέπει σε κάποιον να γράψει προδιαγραφές δοκιμών σε λογικές υψηλός-διαταγής (HOL). Μπορεί (ημι) αυτόματη διαμέριση από το χώρο εισόδου, με αποτέλεσμα αφηρημένη περιπτώσεις δοκιμών, και επιλέγει αυτόματα συγκεκριμένα δεδομένα...