Integration Testing of Software Product Lines Using Compositional Symbolic Execution.

Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer

Browse the full FASE paper archive.