Christoph Gladisch und Tests - Info zur Person

(1 - 7 von 8

)

TAP : Tests & Proofs - WikiCFP

www.wikicfp.com

Christoph Gladisch, Bosch GmbH, Germany * Martin Gogolla, University of Bremen, Germany * Arnaud Gotlieb, Simula Research Laboratory, Norway › servlet

Tests and Proofs: First International Conference, TAP

books.google.com

... by Combining Deduction-Based Specification Extraction and Black-Box Testing Bernhard Beckert and Christoph Gladisch University of Koblenz-Landau, ...

Tests and Proofs: Third International Conference, TAP 2009, ...

books.google.com

Could We Have Chosen a Better Loop Invariant or Method Contract? Christoph Gladisch University of Koblenz-Landau Department of Computer Science Germany ...

TAP: Tests & Proofs 2010, Malaga

www.st.cs.uni-saarland.de

Christoph Gladisch, Shmuel Tyszberowicz, Bernhard Beckert and Amiram Yehudai. Generating Regression Unit Tests using a Combination of Verification and ... › ...

Generating Regression Unit Tests Using a Combination of ...

link.springer.com

von C Gladisch · · Zitiert von: 7 — Christoph Gladisch. School of Computer Science, The Academic College of Tel Aviv Yaffo,. Shmuel Tyszberowicz. Institut für Theoretische Informatik, ... von C Gladisch · · Zitiert von: 8 — Could We Have Chosen a Better Loop Invariant or Method Contract? Christoph Gladisch. Conference paper Accesses. 5 Citations. › chapter

Wolfgang Ahrendt
Christian Heinzemann
Vladimir Klebanov

Maria Lyssenko
Konrad Groh
Martin Herrmann

Personen
Vorname "Christoph" (43400)
Name "Gladisch" (90)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Christoph Gladisch und Tests Person-Info

TAP : Tests & Proofs - WikiCFP

Tests and Proofs: First International Conference, TAP

Tests and Proofs: Third International Conference, TAP 2009, ...

TAP: Tests & Proofs 2010, Malaga

Generating Regression Unit Tests Using a Combination of ...

TAP th International Conference on Tests & Proofs

Tests and proofs: papers presented at the Second OPUS

Alle Infos zum Namen "Christoph Gladisch"