Showing results 1 to 5 of 5
(A) plugin-based framework for supporting GUI application testing = 그래픽 사용자 인터페이스 어플리케이션 테스팅 지원을 위한 플러그인 기반 프레임워크link Bae, Gigon; 배기곤; Bae, Doo-Hwan; 배두환; et al, 한국과학기술원, 2014 |
Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle Seol, Soonuk; Kim, Myungchul; Samuel, T. Chanson; Kang, Sung-Won, IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, v.22, no.10, pp.2062 - 2074, 2004-12 |
모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현 = Test generation environment in SDL specification using model checkerlink 이금자; Lee, Geum-Ja; et al, 한국과학기술원, 2003 |
상호작용하는 동기화된 프로그램의 디버깅을 위한 테스트 케이스 자동화 생성 = Automated test case generation for debugging reactive synchronous programslink 조민경; Cho, Min-Kyung; et al, 한국과학기술원, 2009 |
커맨드 라인 옵션을 변이 및 선택하여 테스팅 효과를 높이는 퍼징 기법 이아청; 김윤호; 김문주, 정보과학회논문지, v.49, no.11, pp.981 - 986, 2022-11 |
Discover