Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks | IEEE Conference Publication | IEEE Xplore