Seguir
Sehun Jeong
Sehun Jeong
FormalWorks
E-mail confirmado em formalworks.com
Título
Citado por
Citado por
Ano
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
592017
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
382018
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
162019
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
162016
FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs.
J Yoo, JH Lee, S Jeong, SD Cha
SEKE, 48-51, 2011
132011
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
112015
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
92016
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
92010
A scalable learning algorithm for data-driven program analysis
S Cha, S Jeong, H Oh
Information and Software Technology 104, 1-13, 2018
72018
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
42011
인공지능 소프트웨어 시스템의 품질 속성과 시험 검증 기법 소개
정세훈
정보과학회지 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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–15