C/C++ Conditional Compilation Analysis Using Symbolic Execution by Ying Hu, Ettore Merlo, Michel Dagenais,and Bruno Lague

An Approach to Limit the Wynot Problem by G. Antoniol, G. Casazza, A. Cimitile, M. Tortorella

ConSSIT: A Conditioned Program Slicer by Chris Fox, Mark Harman, Rob Hierons and Sebastian Danicic