A Framework For Inferring Properties of User-Defined Functions. - Liu, Xinyu; Arulraj, Joy; Orso, Alessandro (ICSE: International Conference on Software Engineering, 2024)