상세 보기
자료 필터
자료유형
발행연도
2016 ~ 2022
2016 2022
키워드
언어
선택된 필터
- article
- conference
전체 11건 중 1번부터 10번까지의 결과를 표시합니다.
2022
Article
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
- Cha, Sooyoung ;
- Hong, Seongjoon ;
- Bak, Jiseong ;
- Kim, Jingyoung ;
- Lee, Junhee ;
- ... Oh, Hakjoo
- 2022-09-01
- IEEE Transactions on Software Engineering
- IEEE COMPUTER SOC
2021
Article
A practical algorithm for learning disjunctive abstraction heuristics in static program analysis
- Jeon, Donghoon ;
- Jeon, Minseok ;
- Oh, Hakjoo
- 2021-07
- Information and Software Technology
- ELSEVIER
2019
Article
A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis
- Jeon, Minseok ;
- Jeong, Sehun ;
- Cha, Sungdeok ;
- Oh, Hakjoo
- 2019-06
- ACM Transactions on Programming Languages and Systems
- ASSOC COMPUTING MACHINERY
2018
Article
Adaptive Static Analysis via Learning with Bayesian Optimization
- Heo, Kihong ;
- Oh, Hakjoo ;
- Yang, Hongseok ;
- Yi, Kwangkeun
- 2018-12
- ACM Transactions on Programming Languages and Systems
- ASSOC COMPUTING MACHINERY
Article
A scalable learning algorithm for data-driven program analysis
- Cha, Sooyoung ;
- Jeong, Sehun ;
- Oh, Hakjoo
- 2018-12
- Information and Software Technology
- ELSEVIER SCIENCE BV
Article
Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses
- Kihong Heo ;
- Oh, Hakjoo ;
- Yang, Hongseok
- 2018-10
- Formal Methods in System Design
- SPRINGER
2017
Article
Sound Non-Statistical Clustering of Static Analysis Alarms
- Lee, Woosuk ;
- Lee, Wonchan ;
- Kang, Dongok ;
- Heo, Kihong ;
- Oh, Hakjoo ;
- 외 1명
- 2017-09
- ACM Transactions on Programming Languages and Systems
- ASSOC COMPUTING MACHINERY
Article
Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis
- Heo, Kihong ;
- Oh, Hakjoo ;
- Yi, Kwangkeun
- 2017
- Software - Practice and Experience
- WILEY
2016
Article
Widening with thresholds via binary search
- Kim, Sol ;
- Heo, Kihong ;
- Oh, Hakjoo ;
- Yi, Kwangkeun
- 2016-10
- Software - Practice and Experience
- WILEY
Article
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
- Oh, Hakjoo ;
- Lee, Wonchan ;
- Heo, Kihong ;
- Yang, Hongseok ;
- Yi, Kwangkeun
- 2016-01
- ACM Transactions on Programming Languages and Systems
- ASSOC COMPUTING MACHINERY
1