@conference {14306,
	title = {Using symbolic evaluation to understand behavior in configurable software systems},
	booktitle = {Software Engineering, 2010 ACM/IEEE 32nd International Conference on},
	volume = {1},
	year = {2010},
	month = {2010///},
	pages = {445 - 454},
	author = {Reisner,E. and Song,C. and Ma,K.K. and Foster, Jeffrey S. and Porter, Adam}
}
