Sehun Jeong
Korea University(KR)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Advanced Malware Detection Techniques, Software Reliability and Analysis Research, Software System Performance and Reliability
Most-Cited Works
- → Data-driven context-sensitivity for points-to analysis(2017)63 cited
- → End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks(2017)56 cited
- → Precise and scalable points-to analysis via data-driven context tunneling(2018)37 cited
- → A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis(2019)21 cited
- → Learning a Strategy for Choosing Widening Thresholds from a Large Codebase(2016)13 cited
- → Generating various contexts from permissions for testing Android applications(2015)11 cited
- → VIS Analyzer: A Visual Assistant for VIS Verification and Analysis(2010)7 cited
- → Human-in-the-Loop Simulation Analysis of Conflict Resolution Maneuvers Using an Air Traffic Control Simulation(2016)5 cited