3 papers
cs.SE2022
GLAD: Neural Predicate Synthesis to Repair Omission Faults
Sungmin Kang, Shin Yoo
Existing template and learning-based APR tools have successfully found patches for many benchmark faults. However, our analysis of existing results shows that omission faults pose…
cs.SE2020
SINVAD: Search-based Image Space Navigation for DNN Image Classifier Test Input Generation
Sungmin Kang, Robert Feldt, Shin Yoo
The testing of Deep Neural Networks (DNNs) has become increasingly important as DNNs are widely adopted by safety critical systems. While many test adequacy criteria have been sugg…
cs.AI2018
Interpreting Models by Allowing to Ask
Sungmin Kang, David Keetae Park, Jaehyuk Chang +1
Questions convey information about the questioner, namely what one does not know. In this paper, we propose a novel approach to allow a learning agent to ask what it considers as t…