TY  - CHAP
AU  - Brucker, Achim D.
AU  - Wolff, Burkhart
ED  - Grieskamp, Wolfgang
ED  - Weise, Carsten
PY  - 2005//
TI  - Interactive Testing using HOL-TestGen
BT  - Formal Approaches to Testing of Software
T3  - Lecture Notes in Computer Science
IS  - 3997
PB  - Springer-Verlag
CY  - Heidelberg
KW  - symbolic test case generations, black box testing, white box testing, theorem proving, interactive testing
N2  - HOL-TestGen is a test environment for specification-based unit testing build upon the proof assistant Isabelle/HOL\@. While there is considerable skepticism with regard to interactive theorem provers in testing communities, we argue that they are a natural choice for (automated) symbolic computations underlying systematic tests. This holds in particular for the development on non-trivial formal test plans of complex software, where some parts of the overall activity require inherently guidance by a test engineer. In this paper, we present the underlying methods for both black box and white box testing in interactive unit test scenarios. HOL-TestGen can also be understood as a unifying technical and conceptual framework for presenting and investigating the variety of unit test techniques in a logically consistent way. 
SN  - 3-540-25109-X
UR  - http://www.brucker.ch/bibliography/abstract/brucker.ea-interactive-2005
L1  - http://www.brucker.ch/bibliography/download/2005/brucker.ea-interactive-2005.pdf
UR  - http://dx.doi.org/10.1007/11759744_7
ID  - brucker.ea:interactive:2005
ER  -