Property differencing for incremental checking.

Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta

Browse the full ICSE paper archive.