Static Validation of C Preprocessor Macros. - Andreas Saebjoernsen; Lingxiao Jiang; Daniel J. Quinlan; Zhendong Su 001 (ASE, 2009)