@Talk{		  talk:brucker.ea:hol-testgen:2008,
  isodate	= {2009-03-27},
  title		= {HOL-TestGen: An Interactive Test-case Generation
		  Framework},
  month		= mar,
  language	= {USenglish},
  year		= {2009},
  address	= {York, UK},
  day		= {27},
  author	= {Achim D. Brucker and Burkhart Wolff},
  lecturer	= {Achim D. Brucker},
  event		= {Fundamental Approaches to Software Engineering
		  {(FASE09)}},
  slides	= {http://www.brucker.ch/bibliography/download/2009/talk-brucker.ea-hol-testgen-2009.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2009/talk-brucker.ea-hol-testgen-2009-2x2.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker.ea-hol-testgen-2008}
		  
}