Counterexemplare execution

Metadata Label Value
Author(s): Billeter, Jürg
Publisher: Chair of Programming Methodology, Department of Computer Science, ETH Zurich
Citation:

Billeter, Jürg. Counterexemplare execution. Chair of Programming Methodology, Department of Computer Science, ETH Zurich (2008). http://dx.doi.org/10.3929/ethz-a-005657973

Document Type: Master and Bachelor Theses  
Documents: Text (402.53KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Counterexemplare execution
Author(s) Billeter, Jürg
Publication Place Zurich
Publisher Chair of Programming Methodology, Department of Computer Science, ETH Zurich
Publication Date 2008
Notes Master project report, Swiss Federal Institute of Technology Zurich, 2008
Language English
DOI http://dx.doi.org/10.3929/ethz-a-005657973
Subject(s) Software
Keyword(s) TESTING
DEBUGGING
VERIFICATION
Organisational Unit Department of Computer Science
Online Publication Date 2008
Description File Name MIME Type Size
Text   eth-30676-01.pdf application/pdf 402.53KB
Abstract Views and Downloads
Views 67  abstracts
Downloads 83  downloads

Abstract Views and Downloads by Country
Views 19  abstracts
Downloads 27  downloads
United States Views 10  abstracts
Downloads 19  downloads
Germany Views abstracts
Downloads 11  downloads
Switzerland Views 13  abstracts
Downloads 11  downloads
China Views 20  abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Bolivia Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
Korea, Republic of Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Portugal Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Tunisia Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Wed, 10 Sep 2008, 01:14:26 CET