Reducing DNN Properties to Enable Falsification with Adversarial Attacks. - Shriver, David; Elbaum, Sebastian; Dwyer, Matthew B. (ICSE: International Conference on Software Engineering, 2021)