Andreas Holzer Visar Januzaj Stefan Kugele Boris Langer Christian Schallhart Michael Tautschnig Helmut Veith Seamless Testing for Models and Code. 278-293 2011 FASE http://dx.doi.org/10.1007/978-3-642-19811-3_20 conf/fase/2011 db/conf/fase/fase2011.html#HolzerJKLSTV11