TY - CHAP AU - Brucker, Achim D. AU - Wolff, Burkhart ED - Chechik, Marsha ED - Wirsing, Martin PY - 2009 DA - 2009// TI - HOL-TestGen: An Interactive Test-case Generation Framework BT - Fundamental Approaches to Software Engineering (FASE09) T3 - Lecture Notes in Computer Science SP - 417 EP - 420 IS - 5503 PB - Springer-Verlag CY - Heidelberg KW - symbolic test case generations, black box testing, white box testing, theorem proving, interactive testing AB - 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. L1 - https://www.brucker.ch/bibliography/download/2009/brucker.ea-hol-testgen-2009.pdf UR - https://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2009 UR - https://doi.org/10.1007/978-3-642-00593-0_28 DO - 10.1007/978-3-642-00593-0_28 LA - USenglish ID - brucker.ea:hol-testgen:2009 ER -