Showing results 1 to 2 of 2
(A) study on the test data generation based on the dynamic analysis of specifications = 명세의 동적 분석을 통한 테스트 데이타 생성에 관한 연구link Jung, In-Sang; 정인상; et al, 한국과학기술원, 1989 |
기호수행 방법을 이용한 마이크로프로그램의 테스트 데이타 생성 시스템 = A system to gererate test data for micorprogram using symbolic executionlink 박상현; Park, Sang-Hyun; et al, 한국과학기술원, 1994 |
Discover