1 | Abstractions from Tests Naik, Mayur; Yang, Hongseok; Castelnuovo, Ghila; Sagiv, Mooly, ACM SIGPLAN NOTICES, v.47, no.1, pp.373 - 385, 2012-01 |
2 | Ambusher: Exploring the Security of Distributed SDN Controllers Through Protocol State Fuzzing Kim, Jinwoo; Seo, Minjae; Marin, Eduard; Lee, Seungsoo; Nam, Jaehyun; Shin, Seungwon, IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, v.19, pp.6264 - 6279, 2024 |
3 | (An) effective fault aware test case prioritization by incorporating a fault localization technique = Fault Localization 기법을 활용한 결함 인식 테스트케이스 우선순위 기법link Se-Jun Kim; 김세준; et al, 한국과학기술원, 2010 |
4 | COVID-19 in South Korea: Lessons for developing countries Lee, Daejoong; Heo, Kyungmoo; Seo, Yongseok, WORLD DEVELOPMENT, v.135, 2020-11 |
5 | Development of a testing methodology for computerized procedure system based on junit framework and MFM = Junit 체제와 MFM 기반의 전산화절차서에 대한 테스팅 방법론 개발link Qin, Wei; Seong, Poong-Hyun; et al, 한국과학기술원, 2004 |
6 | Empirical evaluation and prediction of software quality using software inspection = 소프트웨어 인스펙션을 이용한 소프트웨어 품질의 실험적 평가와 예측link So, Sun-Sup; 소선섭; Kwon, Young-Rae; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
7 | Equivalent mutation detection methods for class-level mutation analysis = 클래스 수준 뮤테이션 분석을 위한 동등 뮤턴트 검출 기법link Jang, Won-Ho; 장원호; et al, 한국과학기술원, 2010 |
8 | FuzzDocs: An Automated Security Evaluation Framework for IoT You, Myoungsung; Kim, Yeonkeun; Kim, Jaehan; Seo, Minjae; Son, Sooel; Shin, Seungwon; Lee, Seungsoo, IEEE ACCESS, v.10, no.0, pp.102406 - 102420, 2022-09 |
9 | Optimal Experiment Strategy to Improve Trustability Testing of Management Information Systems 최학열; 이상원; 문송천; 신경식, ENTRUE JOURNAL OF INFORMATION TECHNOLOGY, v.9, no.2, pp.195 - 205, 2010-07 |
10 | Test sequence generation from modechart specification = Modechart 명세 기반의 실시간 시스템 테스트 시퀀스 생성link Lee, Nam-Hee; 이남희; et al, 한국과학기술원, 1998 |
11 | Testing of web applications using state-based testing technique = 웹어플리케이션의 상태 기반 기능 시험 기법link Kang, Jae-Sung; 강제성; et al, 한국과학기술원, 2001 |
12 | UML specification-based integration testing of software components = UML 명세에 기반한 소프트웨어 컴포넌트의 통합 테스팅 기법link Kim, Jun-San; 김준산; et al, 한국과학기술원, 2003 |
13 | Validation of timing and communication constraints in real-time parallel programs = 실시간 병렬 프로그램에 대한 시간 및 통신 제약 조건의 검증link Bae, Hyun-Seop; 배현섭; et al, 한국과학기술원, 1999 |
14 | 경영정보시스템의 신뢰도 시험 개선을 위한 최적 실험 전략 최, 학열; 이, 상원; 문, 송천; 신, 경식, Entrue Journal of Information Technology, Vol.9, No.2, pp.195-205, 2010-09 |
15 | 동적 시스템 명세를 위한 시제논리언어와 그 검증 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.8, pp.450 - 464, 2002-08 |
16 | 동적 시스템 명세를 위한 시제논리언어와 그 검증 조, 승모; 김, 형호; 차, 성덕; 배, 두환; Cho, Seung-Mo; Kim, Hyung-Ho; Cha, Sung-Deok; et al, 정보과학회논문지 : 소프트웨어 및 응용, Vol.29, No.7, pp.450-464, 2002 |
17 | 반응형 시스템의 시뮬레이션을 위한 환경 속성의 명세 황준형; 윤정한; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.39, no.7, pp.593 - 603, 2012-07 |