Symbolic Test Case Generation for Primitive Recursive Functions
dc.contributor.author
Brucker, Achim D.
dc.contributor.author
Wolff, Burkhart
dc.contributor.editor
Grabowski, Jens
dc.contributor.editor
Nielsen, Brian
dc.date.accessioned
2017-06-09T10:26:35Z
dc.date.available
2017-06-09T10:26:35Z
dc.date.issued
2005
dc.identifier.isbn
3-540-25109-X
dc.identifier.isbn
978-3-540-31848-4
dc.identifier.isbn
3-540-31848-8
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-31848-4_2
dc.identifier.uri
http://hdl.handle.net/20.500.11850/33068
dc.language.iso
en
dc.publisher
Springer
dc.subject
Symbolic test case generations
dc.subject
Black box testing
dc.subject
Theorem proving
dc.subject
Isabelle/HOL
dc.title
Symbolic Test Case Generation for Primitive Recursive Functions
dc.type
Conference Paper
ethz.book.title
Formal approaches to software testing : 4th international workshop : revised and selected papers
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
3395
ethz.journal.abbreviated
LNCS
ethz.pages.start
16
ethz.pages.end
32
ethz.event
4th International Workshop on Formal Approaches to Testing of Software (FATES 2004)
ethz.event.location
Linz, Austria
ethz.event.date
21-Sep-04
ethz.identifier.wos
ethz.identifier.nebis
004931662
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-09T10:27:03Z
ethz.source
ECIT
ethz.identifier.importid
imp59364de27fc8935622
ethz.ecitpid
pub:53762
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T14:52:59Z
ethz.rosetta.lastUpdated
2024-02-01T17:09:08Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Symbolic%20Test%20Case%20Generation%20for%20Primitive%20Recursive%20Functions&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2005&rft.volume=3395&rft.spage=16&rft.epage=32&rft.issn=0302-9743&1611-3349&rft.au=Brucker,%20Achim%20D.&Wolff,%20Burkhart&rft.isbn=3-540-25109-X&978-3-540-31848-4&3-540-31848-8&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-540-31848-4_2&rft.btitle=Formal%20approaches%20to%20software%20testing%20:%204th%20international%20workshop%20:%20revised%20and%20selected%20papers
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [35293]