Harald Brandl Franz Wotawa Test Case Generation from QR Models. 235-244 2008 IEA/AIE http://dx.doi.org/10.1007/978-3-540-69052-8_25 conf/ieaaie/2008 db/conf/ieaaie/ieaaie2008.html#BrandlW08