"Automatic mining of functionally equivalent code fragments via random testing."

Lingxiao Jiang, Zhendong Su (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics