Browse by Subject testing
Showing results 1 to 9 of 9
| Change impact analysis and test case management for regression testing of object-oriented programs = 객체지향 프로그램의 회귀테스팅을 위한 수정영향분석 및 테스트케이스 관리link Jang, Yoon-Kyu; 장윤규; et al, 한국과학기술원, 2003 |
| Comparative study of null lens for hyperbolic surface test Kim, YS; Kim, Byoung Yoon; Lee, YW, OPTICAL REVIEW, v.9, no.3, pp.122 - 125, 2002 |
| Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay Kim, Moonzoo; Hong S.; Hong C.; Kim T., ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v.253, no.2, pp.21 - 36, 2009-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
Type
Open Access
Date issued
- 30,963 2020 - 2024
- 100,007 2010 - 2019
- 75,681 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969