Showing results 1 to 5 of 5
Test case generation using dependency information derived from architecture description = 아키텍쳐 기술로부터 도출한 의존성 정보를 이용한 테스트 케이스 생성link Huh, Yu-Jin; 허유진; et al, 한국과학기술원, 2002 |
모델 체킹을 이용한 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 |
심볼릭 배열 인덱스 참조 연산의 최적화를 통한 Concolic 테스팅의 커버리지 개선 = Coverage improvement of concolic testing by optimizing symbolic array index operationslink 김태진; Kim, Taejin; et al, 한국과학기술원, 2016 |
조합 시험 설계를 이용한 소프트웨어 프로덕트라인 테스트 케이스 생성 방법 = Software product line test cases derivation using combinatorial test designlink 백하은; Baek, Ha-Eun; et al, 한국과학기술원, 2013 |
Discover