I. Introduction
Deep learning (DL) is widely used in many domains, including aircraft collision avoidance systems [1], Alzheimer's disease diagnosis [2], autonomous driving cars [3], and romance storytelling [4], [5]. Bugs in such systems can cause disastrous consequences, e.g., a software bug in Uber's self-driving car DL system has resulted in the death of a pedestrian [6].