Symbolic Test Case Generation for Primitive Recursive Functions

Thumbnail
Metadata only
Author
Brucker, Achim D.
Wolff, Burkhart
Date
2005
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Grabowski, Jens
Nielsen, Brian
Book title
Formal approaches to software testing : 4th international workshop : revised and selected papers
Journal / series
Lecture Notes in Computer Science
Volume
3395
Pages / Article No.
16 - 32
Publisher
Springer
Event
4th International Workshop on Formal Approaches to Testing of Software (FATES 2004), Linz, Austria, September 21, 2004
Subject
Symbolic test case generations; Black box testing; Theorem proving; Isabelle/HOL
Organisational unit
03634 - Basin, David / Basin, David  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics