TY - RPRT TI - Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines AU - Stephan Weißleder AU - Hartmut Lackner PY - 2013 DO - 10.4204/eptcs.111.7 UR - https://arxiv.org/abs/1303.1011 ID - 1303.1011 ER -