Categories: Developer Tools, Quality Assurance and Testing Software
HOL-TestGen 1.7.0
HOL-TestGen allows one to write test specifications in Higher-order logics (HOL). It can (semi-) automatically partition the input space, resulting in abstract test cases, and automatically select concrete test data.Automatic generation of test harnesses...