Symbolic Test Case Generation for Primitive Recursive Functions

Brucker, A.D. and Wolff, B. (2004) Symbolic Test Case Generation for Primitive Recursive Functions. Technical Report. ETH technical report (449). ETH, Department of Computer Science , Zurich.

Abstract

Metadata

Authors/Creators:
  • Brucker, A.D.
  • Wolff, B.
Keywords: symbolic test case generations; black box testing; theorem proving; Isabelle/HOL
Dates:
  • Published: 1 June 2004
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 24 Feb 2016 13:02
Last Modified: 26 Mar 2016 19:13
Published Version: http://dx.doi.org/10.3929/ethz-a-006744541
Status: Published
Publisher: ETH, Department of Computer Science
Series Name: ETH technical report
Identification Number: https://doi.org/10.3929/ethz-a-006744541

Export

Statistics