Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. - Sooyoung Cha; Seongjoon Hong; Jiseong Bak; Jingyoung Kim; Junhee Lee; Hakjoo Oh (IEEE Trans. Software Eng., 2022)

Effective Unit Test Generation for Java Null Pointer Exceptions. - Myungho Lee; Jiseong Bak; Seokhyeon Moon; Yoonchan Jhi; Hakjoo Oh (ASE, 2024)