Sooyoung Cha
PhD 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
Contact Information
sooyoungcha@korea.ac.kr