Sehun Jeong公司
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2019 【j4】 Minseok Jeon公司 , Sehun Jeong公司 , 宋德查 , Hakjoo哦 :
一种用于数据驱动程序分析的带析取模型的机器学习算法。 ACM事务处理。 程序。 语言系统。 41 ( 2 ) : 13:1-13:41 ( 2019 ) 2018 [j3] 苏英查 , Sehun Jeong公司 , Hakjoo噢 :
用于数据驱动程序分析的可扩展学习算法。 Inf.软件。 Technol公司。 104 : 1-13 ( 2018 ) [注2] Minseok Jeon公司 , Sehun Jeong公司 , Hakjoo噢 :
通过数据驱动的上下文隧道实现精确且可扩展的分析点。 程序。 ACM计划。 语言。 2 ( OOPSLA公司 ) : 140:1-140:29 ( 2018 ) 2017 [j1] Sehun Jeong公司 , Minseok Jeon公司 , 宋德查 , Hakjoo哦 :
数据驱动的上下文敏感性,用于点分析。 程序。 ACM计划。 语言。 1 ( OOPSLA公司 ) : 100:1-100:28 ( 2017 ) 【c6】 Min-Je Choi先生 , Sehun Jeong公司 , Hakjoo噢 , Jaegul Choo先生 :
通过神经记忆网络对原始源代码的缓冲区溢出进行端到端预测。 国际JCAI 2017 : 1546-1553 [i1] Min-Je Choi先生 , Sehun Jeong公司 , Hakjoo噢 , Jaegul Choo先生 :
通过神经记忆网络对原始源代码的缓冲区溢出进行端到端预测。 CoRR公司 abs/1703.02458 ( 2017 ) 2016 【c5】 苏英查 , Sehun Jeong公司 , Hakjoo噢 :
学习从大型代码库中选择加宽阈值的策略。 阿普拉斯 2016 : 25-41 2015 【c4】 广西松 , 阿赫·里姆·韩 , Sehun Jeong公司 , 宋德查 :
从测试Android应用程序的权限生成各种上下文。 塞克 2015 : 87-92 2011 【c3】 宋德茶 , Sehun Jeong公司 , Junbeom Yoo先生 , Young-Gab Kim(金永嘉) :
植入人工心脏的安全关键软件测试。 SSS系统 2011 : 143-153 【c2】 Junbeom Yoo先生 , 李宗勋 , Sehun Jeong公司 , 宋德查 :
FBD到Verilog:从FBD到Verilog程序的独立于供应商的翻译。 塞克 2011 : 48-51 2010 【c1】 Sehun Jeong公司 , Junbeom Yoo先生 , 宋德茶 :
VIS分析仪:用于VIS验证和分析的可视化助手。 国际标准化组织 2010 : 250-254
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)