Publications tagged "configs"

Journal, Conference, and Workshop Papers

2014

iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees
Charles Song, Adam Porter, and Jeffrey S. Foster
IEEE Transactions on Software Engineering (TSE), 40(3):251–265, March 2014.
tags: configs
[ bibtex | doi ]

2012

iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees
Charles Song, Adam Porter, and Jeffrey S. Foster
In Proceedings of the 34th International Conference on Software Engineering (ICSE), pages 903–913, Zurich, Switzerland, June 2012.
tags: configs
[ bibtex | doi ]

2010

Using Symbolic Evaluation to Understand Behavior in Configurable Software Systems
Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, and Adam Porter
In Proceedings of the 32nd International Conference on Software Engineering (ICSE), pages 445–454, Cape Town, South Africa, May 2010.
tags: configs, otter, symbolic exec
[ bibtex | doi ]

Technical Reports

Using Symbolic Evaluation to Understand Behavior in Configurable Software Systems
Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, and Adam Porter
Technical Report CS-TR-4946, Computer Science Department, University of Maryland, College Park, December 2009.
tags: configs, otter
[ bibtex | doi ]

Evaluating Interaction Patterns in Configurable Software Systems
Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, and Adam Porter
Technical Report CS-TR-4940, Computer Science Department, University of Maryland, College Park, June 2009.
tags: configs, otter
[ bibtex | doi ]