@inproceedings{ICSM-2000-HuMDL,
	author        = "Ying Hu and Ettore Merlo and Michel Dagenais and Bruno Laguë",
	booktitle     = "{Proceedings of the 16th International Conference on Software Maintenance}",
	ee            = "http://computer.org/proceedings/icsm/0753/07530196abs.htm",
	pages         = "196--206",
	publisher     = "{IEEE Computer Society}",
	title         = "{C/C++ Conditional Compilation Analysis using Symbolic Execution}",
	year          = 2000,
}