@InCollection{	  brucker.ea:hol-testgen:2009,
  abstract	= {We present HOL-TestGen, an extensible test environment for
		  specification-based testing build upon the proof assistant
		  Isabelle. HOL-TestGen leverages the semi-automated
		  generation of test theorems (a form of a partition), and
		  their refinement to concrete test data, as well as the
		  automatic generation of a test driver for the execution and
		  test result verification.
		  
		  HOL-TestGen can also be understood as a unifying technical
		  and conceptual framework for presenting and investigating
		  the variety of unit and sequence test techniques in a
		  logically consistent way. },
  keywords	= {symbolic test case generations, black box testing, white
		  box testing, theorem proving, interactive testing},
  location	= {York, UK},
  author	= {Achim D. Brucker and Burkhart Wolff},
  booktitle	= {Fundamental Approaches to Software Engineering
		  {(FASE09)}},
  talk		= {talk:brucker.ea:hol-testgen:2009},
  language	= {USenglish},
  publisher	= {Springer-Verlag},
  address	= {Heidelberg},
  series	= {Lecture Notes in Computer Science},
  number	= {5503},
  doi		= {10.1007/978-3-642-00593-0_28},
  pages		= {417--420},
  editor	= {Marsha Chechik and Martin Wirsing},
  title		= {{HOL-TestGen}: An Interactive Test-case Generation
		  Framework},
  categories	= {holtestgen},
  classification= {conference},
  areas		= {formal methods, software},
  year		= {2009},
  pdf		= {http://www.brucker.ch/bibliography/download/2009/brucker.ea-hol-testgen-2009.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2009}
		  
}