@TechReport{	  brucker.ea:hol-testgen:2005,
  author	= {Achim D. Brucker and Burkhart Wolff},
  institution	= {ETH Zurich},
  language	= {USenglish},
  month		= apr,
  title		= {{HOL-TestGen} 1.0.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		= {2005},
  number	= {482},
  num_pages	= {50},
  pdf		= {http://www.brucker.ch/bibliography/download/2005/brucker.ea-hol-testgen-2005.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2005}
		  
}