TY - RPRT TI - Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool AU - Jan Olaf Blech AU - Dongyue Mou AU - Daniel Ratiu PY - 2012 DO - 10.4204/eptcs.80.2 UR - https://arxiv.org/abs/1202.6119 ID - 1202.6119 ER -