Automatic mining of functionally equivalent code fragments via random testing