|
About:
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 (in SML) is
supported, and using a foreign language interface,
implementations in arbitrary languages (e.g. C)
can be tested.
Author:
Achim D. Brucker [contact developer]
Homepage:
http://www.brucker.ch/projects/hol-testgen/
Tar/GZ:
http://www.brucker.ch/[..]estgen/download/hol-testgen-1.4.0.tar.gz
Changelog:
http://www.brucker.ch/projects/hol-testgen/download/ChangeLog
Debian package:
http://www.brucker.ch/projects/hol-testgen/
Trove categories:
[change]
Dependencies:
[change]
Isabelle (Default branch) (required)
Proof General (Default branch) (recommended)
[download links]
|
|
» Rating:
(not rated)
» Vitality: 0.02% (Rank 3362)
» Popularity: 0.41% (Rank 14055)

(click to enlarge graphs)
Record hits: 4,653
URL hits: 1,172
Subscribers: 10
|
|