NeurIPS 2021	Ranking Policy Decisions Website, PDF, Code
ICCV 2021	Explanations for Occluded Images Website, PDF, Video, Code
ISSTA 2021	Exposing previously undetectable faults in deep neural networks PDF, Video
ECCV 2020	Explaining Image Classifiers using Statistical Fault Localization PDF, Code
EMSOFT 2019	Structural Test Coverage Criteria for Deep Neural Networks PDF, Code
IJCAI 2019	Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance PDF, Code
ASE 2018	Concolic Testing for Deep Neural Networks PDF, Code