Tsong Yueh Chen T. H. Tse Zhiquan Zhou Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. 191-195 2002 ISSTA http://doi.acm.org/10.1145/566172.566202 db/conf/issta/issta2002.html#ChenTZ02