Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta. Property differencing for incremental checking. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014. pages 1059-1070, ACM, 2014. [doi]
Abstract is missing.