hol-testgen. HOL-TESTGEN은 사양 기반 단위 테스트를위한 테스트 케이스 생성기입니다. ... 테스트 사례 테스트 생성기 테스트 케이스 발생기 hol-testgen. 다운로드
