Showing results 1 to 4 of 4
Improving fault localization with external oracle by using counterfactual execution = 외부 오라클만 있는 프로그램의 결함 위치 추정을 위한 실행 흐름 가정법link Park, Jongchan; 박종찬; et al, 한국과학기술원, 2024 |
Learning probabilistic models for static analysis alarms = 정적 분석 알람을 위한 확률 모델 학습link Kim, Hyunsu; Heo, Ki Hong; et al, 한국과학기술원, 2022 |
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