Using debuggers to understand failed verification attempts

Metadata Label Value
Author(s): Müller, Peter, Ruskiewicz, Joseph N.
Publisher: ETH, Department of Computer Science
Citation:

Müller, Peter and Ruskiewicz, Joseph N.. Using debuggers to understand failed verification attempts. ETH, Department of Computer Science (2011). http://dx.doi.org/10.3929/ethz-a-006903083

Document Type: Reports  
Documents: Text (149.10KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Using debuggers to understand failed verification attempts
Author(s) Müller, Peter
Ruskiewicz, Joseph N.
Publication Place Zurich
Publisher ETH, Department of Computer Science
Publication Date 2011
Series [Technical report / Swiss Federal Institute of Technology Zurich, Department of Computer Science] [713]
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006903083
Subject(s) Software
Keyword(s) TESTING
VERIFICATION
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-5145-01.pdf application/pdf 149.10KB
Abstract Views and Downloads
Views 36  abstracts
Downloads 15  downloads

Abstract Views and Downloads by Country
Views 15  abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
China Views 10  abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Wed, 01 Feb 2012, 06:17:16 CET