Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks.

Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid

Browse the full ISSRE paper archive.