Poster: Static Detection of Configuration-Dependent Bugs in Configurable Software | IEEE Conference Publication | IEEE Xplore