Property generation/verification and empirical studies. (8th November 2021) - Hierons, Robert M.; Xie, Tao