This paper presents an enhanced method of testing validity of arithmetic optimization of C compilers using randomly generated programs. Its bug detection capability is improved over an existing method by 1) generating longer arithmetic expressions and 2) accommodating multiple expressions in test programs. Undefined behavior in long expressions is… (More)

@article{Nagai2014ReinforcingRT,
title={Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions},
author={Eriko Nagai and Atsushi Hashimoto and Nagisa Ishiura},
journal={IPSJ Trans. System LSI Design Methodology},
year={2014},
volume={7},
pages={91-100}
}