Using symbolic evaluation to understand behavior in configurable software systems.

Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, Adam A. Porter

Browse the full ICSE paper archive.