Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation.

Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan, Jian Zhang

Browse the full COMPSAC paper archive.