Automatic test-case design, implementation, and coverage management tool, inspired by the Cleanroom Software Engineering design process requirements.  (Experimental)