@TechReport{	  brucker.ea:hol-testgen:2010,
  author	= {Achim D. Brucker and Lukas Br{\"u}gger and Matthias P.
		  Krieger and Burkhart Wolff},
  institution	= {ETH Zurich},
  language	= {USenglish},
  month		= apr,
  title		= {{HOL-TestGen} 1.5.0 User Guide},
  categories	= {testing,holtestgen},
  classification= {unrefereed},
  areas		= {formal methods, software},
  keywords	= {symbolic test case generations, black box testing, theorem
		  proving, Isabelle/HOL},
  year		= {2010},
  number	= {670},
  num_pages	= {248},
  pdf		= {http://www.brucker.ch/bibliography/download/2010/brucker.ea-hol-testgen-2010.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2010}
		  
}