Showing results 1 to 4 of 4
Automatic API modling for static analysis of web applications = 웹 앱 정적 분석을 위한 API 자동 모델링link Bae, Sung-Gyeong; 배성경; et al, 한국과학기술원, 2015 |
Extending bug detector and improving analysis performance in SAFE = SAFE의 버그 감지 확장 및 분석 성능 향상link Won, Soon-Cheol; 원순철; et al, 한국과학기술원, 2014 |
Generating error-revealing inputs with new static analysis warnings = 새로운 정적 분석 경고를 통한 오류 입력 값 생성link Cheung, Wai Ting; Kim, Sunghun; 김성훈; Ryu, Suk Young; et al, 한국과학기술원, 2018 |
GPU를 위한 Concurrent Collections 개발 및 의료 영상화 응용 = Concurrent collections development for GPU and medial imaging applicationlink 김경헌; Kim, Kyunghun; et al, 한국과학기술원, 2015 |
Discover