Showing results 5 to 10 of 10
Verification and testing methods for Statecharts = Statecharts를 위한 검증 및 테스팅 방법link Hong, Hyoung-Seok; 홍형석; et al, 한국과학기술원, 2001 |
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonjoo; Lee, Insup; Obradovic, Davor; Sokolsky, Oleg; Viswanathan, Mahesh, 2011-01-18 |
Verisim: Formal analysis of network simulations Bhargavan, K; Gunter, CA; Kim, Moonzoo; Lee, I; Obradovic, D; Sokolsky, O; Viswanathan, M, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.28, no.2, pp.129 - 145, 2002-02 |
모델기반의 커널 테스팅 프레임워크 김문주; 홍신, 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.7, pp.523 - 530, 2009-07 |
뮤테이션 기반의 오류 위치 추정 기법에서의 테스트 스위트 크기를 줄이는 방법에 대한 실험적 연구 = Experimental analysis of test-suite reduction on mutation-based fault localizationlink 채철우; Chae, Cheolwoo; et al, 한국과학기술원, 2015 |
순차도를 이용한 테스트 오라클 생성 = Generating test oracles from sequence diagramlink 정정수; Jung, Jung-Su; 권용래; 배두환; et al, 한국과학기술원, 2001 |
Discover