Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, Adam Porter. Using symbolic evaluation to understand behavior in configurable software systems. In Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel, editors, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010. pages 445-454, ACM, 2010. [doi]
Abstract is missing.