Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing.

Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou

Browse the full ISSTA paper archive.