Bosal - Test Harness Generator
Bosal is a program to automatically generate a test harness for one or more micca translated domain.
Executables are available from the download page.
The design and code are available in the literate program document.