Using symbolic evaluation to understand behavior in configurable software systems

TitleUsing symbolic evaluation to understand behavior in configurable software systems
Publication TypeConference Papers
Year of Publication2010
AuthorsReisner E, Song C, Ma KK, Foster JS, Porter A
Conference NameSoftware Engineering, 2010 ACM/IEEE 32nd International Conference on
Date Published2010///