Property Inference from Deep Neural Networks
Work based on the following paper:
Property Inference for Deep Neural Networks. Authors: Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly. Published in ASE'19 proceedings. Preprint available at: https://arxiv.org/abs/1904.13215