Data-Driven Context-Sensitivity for Points-to Analysis S Jeong, M Jeon, S Cha, H Oh Proceedings of the ACM on Programming Languages, 2017 | 69* | 2017 |
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks M Choi, S Jeong, H Oh, J Choo International Joint Conference on Artificial Intelligence 2017, 2017 | 59 | 2017 |
Precise and scalable points-to analysis via data-driven context tunneling M Jeon, S Jeong, H Oh Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018 | 38 | 2018 |
A machine-learning algorithm with disjunctive model for data-driven program analysis M Jeon, S Jeong, S Cha, H Oh ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (2), 1-41, 2019 | 16 | 2019 |
Learning a Strategy for Choosing Widening Thresholds from a Large CodeBase S Cha, S Jeong, H Oh Asian Symposium on Programming Languages and Systems 2016, 2016 | 16 | 2016 |
FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs. J Yoo, JH Lee, S Jeong, SD Cha SEKE, 48-51, 2011 | 13 | 2011 |
Generating various contexts from permissions for testing Android applications K Song, AR Han, S Jeong, S Cha The 27th International Conference on Software Engineering and Knowledge …, 2015 | 11 | 2015 |
Method for detecting detoured connection via anonymous network using changes in round trip times DY Kim, S Cha, S Kwon, S Jeong US Patent App. 15/110,022, 2016 | 9 | 2016 |
VIS analyzer: A visual assistant for VIS verification and analysis S Jeong, J Yoo, S Cha 2010 13th IEEE International Symposium on Object/Component/Service-Oriented …, 2010 | 9 | 2010 |
A scalable learning algorithm for data-driven program analysis S Cha, S Jeong, H Oh Information and Software Technology 104, 1-13, 2018 | 7 | 2018 |
Testing of safety-critical software embedded in an artificial heart S Cha, S Jeong, J Yoo, YG Kim Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical …, 2011 | 4 | 2011 |
인공지능 소프트웨어 시스템의 품질 속성과 시험 검증 기법 소개 정세훈 정보과학회지 41 (6), 39-45, 2023 | | 2023 |
인공심장의 예측 가능한 제어를 위한 실시간 소프트웨어 설계 구조 개선 사례 SH Jeong, SD Cha Communications of the Korean Institute of Information Scientists and …, 2015 | | 2015 |
A Survey on Test Case Generation Techniques for UML State Diagram S Jeong, YG Kim, S Cha Communications of the Korean Institute of Information Scientists and …, 2013 | | 2013 |
융합소프트웨어 안전성을 위한 소프트웨어공학 기술 적용 SD Cha, JY Choe, SH Kim, HJ Lee, GS Jang, WH Nam, JS Choe, JJ Lee, ... Communications of the Korean Institute of Information Scientists and …, 2010 | | 2010 |