( en | de | ru )

 

Disambiguation of "Jeong, Sehun"

Author of the publication

copydeleteadd this publication to your clipboard
VIS Analyzer: A Visual Assistant for VIS Verification and Analysis.

, , and . ISORC, page 250-254. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Su-Jeong Jeong

Hyung-Gon Jeong

Hang-Kyun Jeong

Wonrae Jeong

Chang-Kyo Jeong

 

Other publications of authors with the same name

VIS Analyzer: A Visual Assistant for VIS Verification and Analysis., , and . ISORC, page 250-254. IEEE Computer Society, (2010)A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis., , , and . ACM Trans. Program. Lang. Syst., 41 (2): 13:1-13:41 (2019)Generating various contexts from permissions for testing Android applications., , , and . SEKE, page 87-92. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2015)End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks., , , and . IJCAI, page 1546-1553. ijcai.org, (2017)Learning a Strategy for Choosing Widening Thresholds from a Large Codebase., , and . APLAS, volume 10017 of Lecture Notes in Computer Science, page 25-41. (2016)A scalable learning algorithm for data-driven program analysis., , and . Inf. Softw. Technol., (2018)FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs., , , and . SEKE, page 48-51. Knowledge Systems Institute Graduate School, (2011)Precise and scalable points-to analysis via data-driven context tunneling., , and . Proc. ACM Program. Lang., 2 (OOPSLA): 140:1-140:29 (2018)Data-driven context-sensitivity for points-to analysis., , , and . Proc. ACM Program. Lang., 1 (OOPSLA): 100:1-100:28 (2017)Testing of Safety-Critical Software Embedded in an Artificial Heart., , , and . SSS, page 143-153. Springer, (2011)