Showing results 1 to 5 of 5
MSC 명세에 기반한 병렬 프로그램 간 테스팅 배현섭; 정인상; 김현수; 권용래; 정영식; 이병선, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.2, pp.108 - 119, 2000-02 |
검출 후 재수행 기법을 이용한 메시지 기반 병렬 프로그램의 디버깅 배현섭; 김현수; 권용래; 김한경, 정보과학회논문지 : 소프트웨어 및 응용, v.23, no.2, pp.146 - 157, 1996-02 |
기능 파악을 기초로 한 프로그램의 재구성 방법 김현수; 정인상; 배현섭; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.23, no.1, pp.50 - 63, 1996-01 |
명세 변경 후 병행 프로그램의 순서 제약조건 기반 회귀 테스팅 김현수; 정인상; 배현섭; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.4, pp.370 - 383, 2000-04 |
퍼지 이론을 이용한 실시간 시스템의 모델링 및 검증 정인상; 배현섭; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.25, no.6, pp.893 - 905, 1998-06 |
Discover