Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions. - Eriko Nagai; Atsushi Hashimoto 005; Nagisa Ishiura (IPSJ Trans. Syst. LSI Des. Methodol., 2014)

Detecting Arithmetic Optimization Opportunities for C Compilers by Randomly Generated Equivalent Programs. - Atsushi Hashimoto 005; Nagisa Ishiura (IPSJ Trans. Syst. LSI Des. Methodol., 2016)