Katsuhiko Gondow Hayato Kawashima Takashi Imaizumi TBCppA: A Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors. 35-44 2008 SCAM http://dx.doi.org/10.1109/SCAM.2008.13 conf/scam/2008 db/conf/scam/scam2008.html#GondowKI08