@Talk{		  talk:brucker.ea:theorem-prover:2007,
  isodate	= {2007-06-26},
  title		= {Theorem-prover based Testing with HOL-TestGen},
  author	= {Achim D. Brucker and Burkhart Wolff},
  lecturer	= {Achim D. Brucker and Burkhart Wolff},
  day		= {26},
  event		= {Tutorial at Testcom/Fates 2007},
  month		= jun,
  year		= {2007},
  address	= {Tallinn, Estonia},
  slides	= {http://www.brucker.ch/bibliography/download/2007/talk-brucker.ea-theorem-prover-2007.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2007/talk-brucker.ea-theorem-prover-2007-2x2.pdf}
		  ,
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker.ea-theorem-prover-2007}
		  
}