Showing results 1 to 10 of 10
(A) study on the test data generation based on the dynamic analysis of specifications = 명세의 동적 분석을 통한 테스트 데이타 생성에 관한 연구link Jung, In-Sang; 정인상; et al, 한국과학기술원, 1989 |
Attnet에 기반을 둔 분산 소프트웨어 프로세스 모델의 분석기법 이우진; 정인상; 권용래, 한국정보과학회 논문지, v.22, no.1, 1995-01 |
Java 다중 스레드 프로그램을 위한 오토마타 기반 테스팅 환경의 설계 및 구현 서희석; 정인상; 김병만; 권용래, 정보과학회논문지:소프트웨어 및 응용, v.29, no.12, 2002-12 |
MSC 명세에 기반한 병렬 프로그램 간 테스팅 배현섭; 정인상; 김현수; 권용래; 정영식; 이병선, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.2, pp.108 - 119, 2000-02 |
Systematic software testing approaches for specification and maintenacne phases = 명세와 유지보수 단계를 위한 체계적인 소프트웨어 테스팅 접근방법link Chung, In-Sang; 정인상; et al, 한국과학기술원, 1993 |
기능 파악을 기초로 한 프로그램의 재구성 방법 김현수; 정인상; 배현섭; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.23, no.1, pp.50 - 63, 1996-01 |
명세 기반 프로그래밍 슬라이싱 기법과 응용 정인상; 윤광식; 이완권; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.8, pp.529 - 542, 2002-08 |
명세 변경 후 병행 프로그램의 순서 제약조건 기반 회귀 테스팅 김현수; 정인상; 배현섭; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.4, pp.370 - 383, 2000-04 |
병행 프로그램의 테스트케이스 생성 방법에 관한 연구 권용래; 배준수; 정인상, 한국정보과학회 1993년도 봄 학술발표회, 1993 |
퍼지 이론을 이용한 실시간 시스템의 모델링 및 검증 정인상; 배현섭; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.25, no.6, pp.893 - 905, 1998-06 |
Discover