Sooyoung Cha

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics	2021	Sooyoung Cha Seongjoon Hong Jiseong Bak Jingyoung Kim Junhee Lee Hakjoo Oh
+	Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics	2019	Sooyoung Cha Seongjoon Hong Jingyoung Kim Junhee Lee Hakjoo Oh

Common Coauthors

Coauthor	Papers Together
Seongjoon Hong	2
Hakjoo Oh	2
Jingyoung Kim	2
Jiseong Bak	1
Junhee Lee	1
Junhee Lee	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	A Survey of Symbolic Execution Techniques	2018	Roberto Baldoni Emilio Coppa Daniele Cono D’Elia Camil Demetrescu Irene Finocchi	2
+ PDF Chat	Reinforcement learning for automatic test case prioritization and selection in continuous integration	2017	Helge Spieker Arnaud Gotlieb Dusica Marijan Morten Mossige	2
+ PDF Chat	Abstraction-driven Concolic Testing	2015	Przemysław Daca Ashutosh Gupta Thomas A. Henzinger	2
+ PDF Chat	Concolic testing for deep neural networks	2018	Youcheng Sun Min Wu Wenjie Ruan Xiaowei Huang Marta Kwiatkowska Daniel Kroening	2
+ PDF Chat	Improving function coverage with munch	2018	Saahil Ognawala Thomas Hutzelmann Eirini Psallida Alexander Pretschner	1
+ PDF Chat	FirmUSB	2017	Grant Hernandez Farhaan Fowze Dave Tian Tuba Yavuz Kevin Butler	1
+ PDF Chat	Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach	2018	Saahil Ognawala Thomas Hutzelmann Eirini Psallida Alexander Pretschner	1