Shriver, D., Elbaum, S., & Dwyer, M. (2021). Reducing DNN Properties to Enable Falsification with Adversarial Attacks [Conference paper]. 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, 275–287. https://doi.org/10.1109/ICSE43902.2021.00036