Anjorin, A.; Oster, S.; Zoric, I.; Schürr, A. Optimizing Model-Based Software Product Line Testing With Graph Transformations. ECEASST 2012, 47.