Narrowing the gap between verification and systematic testing

Metadata Label Value
Author(s): Christakis, Maria
Publisher: ETH-Zürich
Citation:

Christakis, Maria. Narrowing the gap between verification and systematic testing. ETH-Zürich (2015). http://dx.doi.org/10.3929/ethz-a-010487200

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (57.12KB) , Fulltext (1.11MB)
Import to Mendeley

Detailed Information

Metadata Description
Title Narrowing the gap between verification and systematic testing
Author(s) Christakis, Maria
Publication Place Zürich
Publisher ETH-Zürich
Publication Date 2015
Notes Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 22795
Language English
DOI http://dx.doi.org/10.3929/ethz-a-010487200
Subject(s) Software
Keyword(s) VERIFICATION
TESTING
PARSERS
Organisational Unit Department of Computer Science
Online Publication Date 2015
Description File Name MIME Type Size
Abstract   eth-47963-01.pdf application/pdf 57.12KB
Fulltext   eth-47963-02.pdf application/pdf 1.11MB
Abstract Views and Downloads
Views 227  abstracts
Downloads 290  downloads

Abstract Views and Downloads by Country
Views 105  abstracts
Downloads 112  downloads
United States Views 30  abstracts
Downloads 32  downloads
Switzerland Views 19  abstracts
Downloads 25  downloads
Germany Views abstracts
Downloads 16  downloads
China Views abstracts
Downloads 15  downloads
United Kingdom Views abstracts
Downloads 14  downloads
Sweden Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Malaysia Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Pakistan Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Greece Views abstracts
Downloads downloads
Hungary Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Korea, Republic of Views abstracts
Downloads downloads
Lithuania Views abstracts
Downloads downloads
Norway Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Saudi Arabia Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads
Brazil Views abstracts
Downloads downloads
Czech Republic Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
Estonia Views abstracts
Downloads downloads
Indonesia Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Kazakstan Views abstracts
Downloads downloads
Macedonia Views abstracts
Downloads downloads
Nigeria Views abstracts
Downloads downloads
South Africa Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads


E-Collection record created: Wed, 05 Aug 2015, 23:27:32 CET