Random testing of C compilers based on test program generation by equivalence transformation | IEEE Conference Publication | IEEE Xplore