HOL-TestGen 1.7.0
HOL-TestGen lehetővé teszi, hogy írjon vizsgálati előírások keretében magasabb fokú logikák (HOL). Ez a (félig) automatikusan felosztani a bemeneti teret, ami absztrakt vizsgálati esetek, és automatikusan kiválasztja a konkrét vizsgálati...