 |
Sooyoung ChaPhD Student (Advisor: Hakjoo Oh)Software Analysis Laboratory, Korea University[CV] |
Research Areas
I’m interested in software engineering and program languages, especially in machine-learning-based program analysis.- Data-Driven Symbolic Execution
- Machine-Learning-Guided Static Analysis
Publications
-
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
Sooyoung Cha and Hakjoo Oh
ESEC/FSE 2020: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
[pdf] [tool] [slides] [teaser video] [video] -
Effective White-Box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy
Seokhyun Lee, Sooyoung Cha, Dain Lee and Hakjoo Oh
ISSTA 2020: The ACM SIGSOFT International Symposium on Software Testing and Analysis.
🏅ACM SIGSOFT Distinguished Paper Award
[pdf] -
Concolic Testing with Adaptively Changing Search Heuristics
Sooyoung Cha and Hakjoo Oh
ESEC/FSE 2019: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
[pdf] [tool] [slides] -
A Scalable Learning Algorithm for Data-Driven Program Analysis
Sooyoung Cha, Sehun Jeong, and Hakjoo Oh
Information and Software Technology, Volume 104, 2018, Pages 1-13, ISSN 0950-5849.
[pdf] [link] -
Template-Guided Concolic Testing via Online Learning
Sooyoung Cha, Seonho Lee, and Hakjoo Oh
ASE 2018: IEEE/ACM International Conference on Automated Software Engineering.
[pdf] [tool] [slides] -
Automatically Generating Search Heuristics for Concolic Testing
Sooyoung Cha, Seongjoon Hong, Junhee Lee, and Hakjoo Oh
ICSE 2018: International Conference on Software Engineering.
[pdf] [tool] [slides] -
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase
Sooyoung Cha, Sehun Jeong, and Hakjoo Oh
APLAS 2016: Asian Symposium on Programming Languages and Systems.
[pdf] [slides]
Talks
- Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy. FSE 2020, Online. Nov 10 2020. [slides]
- Concolic Testing with Adaptively Changing Search Heuristics. FSE 2019, Tallinn, Estonia. Aug 28 2019. [slides]
- Automatically Generating Search Heuristics of Software Testing with Machine Learning. SOSCON, Samsung R&D campus. Oct 18 2018. [slides]
- Template-Guided Concolic Testing via Online Learning. ASE 2018, Montpellier, France. Sep 06 2018. [slides]
- Automatically Generating Search Heuristics for Concolic Testing. ICSE 2018, Gothenburg, Sweden. Jun 01 2018. [slides]
- Automatically Generating Search Heuristics for Concolic Testing. Oxford University & Diffblue, Oxford, UK. Apr 09 2018. [slides]
- Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. APLAS 2016, Hanoi, Vietnam. Nov 21 2016 [slides]
Education
- March 2016 ~ Feb 2021, Ph.D. Dept. of Computer Science and Engineering, Korea University
- March 2014 ~ Feb 2016, M.S. Dept. of Computer Science and Engineering, Korea University
- March 2008 ~ Feb 2014, B.S. Dept. of Computer Science and Engineering, Sejong University
Trips
- 2019.8.24 ~ 2019.8.31, FSE, Tallinn, Estonia [report] [photo]
- 2018.9.1 ~ 2018.9.11, ASE, Montpellier, France [report] [photo]
- 2018.5.26 ~ 2018.6.2, ICSE, Gothenburg, Sweden [report] [photo]
- 2018.4.7 ~ 2018.4.14, Oxford University, UK & ICST, Vasteras, Sweden [report]
- 2017.5.22 ~ 2017.5.30, ICSE, Buenos Aires, Argentina [report]
- 2016.11.20 ~ 2016.11.24, APLAS, Hanoi, Vietnam [report] [photo]
Awards
- ACM SIGSOFT Distinguished Paper Award, ISSTA 2020
- Naver PhD Fellowship Award, Naver, 2019
- Research Scholarship, Korea University, 2018