Test exploration and validation using transaction level models.

Michael A. Kochte Christian G. Zoellin Michael E. Imhof Rauf Salimi Khaligh Martin Radetzki Hans-Joachim Wunderlich Stefano Di Carlo Paolo Prinetto Test exploration and validation using transaction level models. 1250-1253 2009 DATE http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=5090609&arnumber=5090856&count=326&index=242 conf/date/2009 db/conf/date/date2009.html#KochteZIKRWCP09