Inferring Properties of Graph Neural Networks. - Dat Nguyen; Hieu M. Vu; Cong-Thanh Le; Bach Le 001; David Lo 001; Corina S. Pasareanu (CoRR, 2024)