Showing results 1 to 3 of 3
Test sequence generation from modechart specification = Modechart 명세 기반의 실시간 시스템 테스트 시퀀스 생성link Lee, Nam-Hee; 이남희; et al, 한국과학기술원, 1998 |
Using model checking to generate data-flow oriented test case from statecharts = 모델 체킹을 이용한 Statecharts로부터의 자료 흐름 지향 테스트 케이스 생성 방법link Yoo, Jee-Eun; 유지은; Kwon, Yong-Rae; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
데이타 정보가 첨부된 MSC에 기반한 병행 프로그램 테스트 케이스 생성 방법 = Generating test cases for concurrent programs from data annotated message sequence chartlink 김내희; Kim, Nae-Hee; et al, 한국과학기술원, 1998 |
Discover