A Framework For Inferring Properties of User-Defined Functions.

Xinyu Liu, Joy Arulraj, Alessandro Orso

Browse the full ICSE paper archive.