Achim D. Brucker Burkhart Wolff Interactive Testing with HOL-TestGen. 87-102 2005 conf/fates/2005 FATES http://dx.doi.org/10.1007/11759744_7 db/conf/fates/fates2005.html#BruckerW05