@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} }