Integration Testing of Software Product Lines Using Compositional Symbolic Execution