White-box approaches for improved testing and analysis of configurable software systems.

Marius Nita, David Notkin

Browse the full ICSE paper archive.