Showing results 1 to 6 of 6
Issue Date | Title | Author(s) | Type | View |
---|---|---|---|---|
1997-08 | 데이타 부분을 시험하기 위한 다중 EFSM으로 구성된 프로토콜로부터의 단일 EFSM 생성 방안 | 황익순; 장웅; 김태형; 장민석; 박기현; 이재용; 이상배 | ARTICLE | 48 |
2000-12 | 시간적 오토마타에서 도달성 그래프의 도출기법 | 박찬민; 황익순; 김태형; 이재용; 이상배 | ARTICLE | 47 |
1998-11 | 신뢰성있는 시험데이타 선택을 위한 경로도메인 기반신뢰도 제시 | 장민석; 황익순; 김태형; 전상현; 송명렬; 김동연; 이길흥; 이재용 | ARTICLE | 63 |
1996-04 | 적합성 시험에서 시험열 생성을 위한 탐색 방법 | 황익순; 김태형; 장민석; 이재용; 이상배 | CONFERENCE | 33 |
1997-05 | 적합성시험에서 데이터흐름시험 개념의 형식화를 통한 시험케이스의 최적화 | 김태형; 장민석; 황익순; 오행석; 이재용; 이상배 | ARTICLE | 47 |
1996-03 | 통신프로토콜의 적합성 시험열 생성을 위한 경로 탐색 방법 | 이상배; 장민석; 황익순; 이재용 | ARTICLE | 40 |