Showing results 1 to 2 of 2
Constraints-based testing for systems specified with statecharts = Statecharts 명세를 가지는 시스템에 대한 제약 조건 기반 테스팅link Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2000 |
Specification-based testing of java multithreaded programs utilizing equivalence relation on test sequences = 시험 시퀀스들의 동치 관계를 이용한 자바 다중스레드 프로그램의 명세 기반 시험기법link Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2007 |
Discover