Showing results 1 to 3 of 3
Improving fault localization with external oracle by using counterfactual execution = 외부 오라클만 있는 프로그램의 결함 위치 추정을 위한 실행 흐름 가정법link Park, Jongchan; 박종찬; et al, 한국과학기술원, 2024 |
TRACER : signature-based static analysis for detecting recurring vulnerabilities = TRACER: 반복되는 오류를 탐지하기 위한 시그니처 기반 정적 분석 시스템link Kang, Wooseok; Heo, Kihong; et al, 한국과학기술원, 2023 |
Translation validation for javascript JIT compiler = 자바스크립트 JIT 컴파일러의 번역 검산link Kwon, Seung-wan; 권승완; et al, 한국과학기술원, 2023 |
Discover