Showing results 1 to 3 of 3
Diversity-aware mutation adequacy criterion for improving the fault detection capability of test suites = 테스트 집합의 오류 검출 능력 향상을 위하여 다양성을 고려한 뮤테이션 충분성 기준link Shin, Donghwan; Bae, Doo Hwan; et al, 한국과학기술원, 2018 |
Efficient and accurate eigen-decomposition of large-scale PSD matrices via sample subspace compression = 샘플 부분 공간 압축을 통한 효율적이고 정확한 대규모 양의 준정부호 행렬 고유 분해link Lim, Woosang; 임우상; Bae, Doo Hwan; 배두환; et al, 한국과학기술원, 2017 |
Efficient verification method to eliminate emergent behaviors of the scenario specifications = 시나리오 명세서에 존재하는 돌발 행위 제거를 위한 효율적인 검증 방법link Song, Ingwon; 송인권; et al, 한국과학기술원, 2017 |
Discover