Il-Chul Yoon Alan Sussman Atif M. Memon Adam A. Porter Effective and scalable software compatibility testing. 63-74 2008 ISSTA http://doi.acm.org/10.1145/1390630.1390640 conf/issta/2008 db/conf/issta/issta2008.html#YoonSMP08