Showing results 1 to 2 of 2
Test case generation using dependency information derived from architecture description = 아키텍쳐 기술로부터 도출한 의존성 정보를 이용한 테스트 케이스 생성link Huh, Yu-Jin; 허유진; et al, 한국과학기술원, 2002 |
심볼릭 배열 인덱스 참조 연산의 최적화를 통한 Concolic 테스팅의 커버리지 개선 = Coverage improvement of concolic testing by optimizing symbolic array index operationslink 김태진; Kim, Taejin; et al, 한국과학기술원, 2016 |
Discover