1
0
0
(1 - 16 von 17
)
Shmuel (Tysh) Tyszberowicz, Publications list
www.cs.mta.ac.il
Ferruccio Damiani, David Faitelson, Christoph Gladisch and Shmuel S. Tyszberowicz. A novel model-based testing approach for software product lines, Software and ... › staff › S...
Deductive Software Verification – The KeY Book: From Theory to...
books.google.de
Christoph Gladisch and Shmuel Tyszberowicz. Specifying a linked data structure in JML for formal verification and runtime checking.
Verification-based Software-fault Detection
books.google.com
[Gladisch, 2010a] Christoph Gladisch. Test data generation for programs with quantified first-order logic specifications. In Alexandre Petrenko, Adenilso da ...
KeY Project: Integrated Deductive Software Design
i12www.ilkd.uni-karlsruhe.de
Christoph Gladisch, Shmuel Tyszberowicz, Bernhard Beckert, Amiram Yehudai ... Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer › ...
The importance of flow in software development - SoSyM
www.sosym.org
von B Bernhard · · Zitiert von: 7 — “A novel model-based testing approach for software product lines” by Ferruccio Damiani, David Faitelson,. Christoph Gladisch, and Shmuel ... › editorials › files
ASE Chair of Software Engineering
www.se.cs.uni-saarland.de
Christoph Gladisch, Thomas Heinz, Christian Heinzemann, Jens Oehlerking, Anne von Vietinghoff, Tim Pfitzer. History-Guided Configuration Diversification for ... › ...
KeY Project: Integrated Deductive Software Design
i12www.ilkd.uni-karlsruhe.de
Talks & Slides ; Mattias Ulbrich, Verification of Java 5 Programs ; Helga Velroyen, Non-termination Proofs in Dynamic Logic ; Christoph Gladisch, White-box Testing. › ...
Could We Have Chosen a Better Loop Invariant or Method Contract? |...
link.springer.com
von C Gladisch · · Zitiert von: 8 — Could We Have Chosen a Better Loop Invariant or Method Contract? Christoph Gladisch. Conference paper Accesses. 5 Citations. von C Engel · · Zitiert von: 13 — Integrating Verification and Testing of Object-Oriented Software. Christian Engel,; Christoph Gladisch, … Vladimir Klebanov &; Philipp Rümmer. Show authors. › chapter
HVC Haifa Verification Conference IBM Research
research.ibm.com
Automatic Error Localization for Software Using Deductive Verification; Christoph Gladisch, Daniel Grunwald, Tianhai Liu, Mana Taghdiri, ... › program
KeY Project: Integrated Deductive Software Design
i12www.ira.uka.de
Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, ... › publicat
RunVar: Evolving Distributed Software Systems at Runtime by ...
runvar-project.di.unito.it
... Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz: A novel model-based testing approach for software product lines.
Book Chapters, Invited Articles, Technical Reports, etc.
www.philipp.ruemmer.org
— Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer Integrating Verification and Testing of Object-Oriented Software › ...
Final CFP: Automated Software Engineering Conference
eapls.org
— ... Belgium); Rohit Gheyi (Federal University of Campina Grande, Brazil); Christoph Gladisch (Karlsruhe Institute of Technology, Germany) ... › items
Alle Infos zum Namen "Christoph Gladisch"
Verwandte Suchanfragen zu Christoph Gladisch
| Reinhard Hörmann Martin Gogolla Daniel Bruns | Wolfgang Ahrendt Christian Heinzemann Vladimir Klebanov | Maria Lyssenko Konrad Groh Martin Herrmann |
Personen Vorname "Christoph" (43400) Name "Gladisch" (90) |
sortiert nach Relevanz / Datum