A Framework of Formal Specification-Based Data Generation for Deep Neural Networks. - Yanzhao Xia; Shaoying Liu (ICSCA, 2023)