Presenter
KAIST
Hi, I’m a Ph.D. student from Korea Advanced Institute of Science and Technology (KAIST). I am interested in automated debugging and test generation.
Presentations by Sungmin Kang
Show All
Poster Presentations
GLAD: Neural Predicate Synthesis to Repair Omission Faults
Sungmin Kang
Judges Comments