Extending equivalence transformation based program generator for random testing of C compilers. - Shogo Takakura; Mitsuyoshi Iwatsuji; Nagisa Ishiura (A-TEST@ESEC/SIGSOFT FSE, 2018)