Steve Mittermaier und Ariel Birnbaum - Info zur Person

(1 - 8 von 8

)

Hardware and Software: Verification and Testing: 7th ...

books.google.at

190 Ariel Birnbaum, Laurent Fournier, Steve Mittermaier, and Avi Ziv Symbolic Testing of OpenCL Code Peter ...

7th International Haifa Verification Conference, Hvc

vdoc.pub

Ariel Birnbaum, Laurent Fournier, Steve Mittermaier, and Avi Ziv Symbolic Testing of OpenCL Code . › documents

Reverse Coverage Analysis | SpringerLink

link.springer.com

von A Birnbaum · · Zitiert von: 3 — IBM Research - Haifa, Israel. Ariel Birnbaum, Laurent Fournier & Avi Ziv. IBM Server and Technology Group, Poughkeepsie, NY, USA. Steve Mittermaier. Authors. › chapter

A fortran unit-testing framework utilizing templating and the ...

www.researchgate.net

— Ariel J. Birnbaum · Laurent Fournier · Steve Mittermaier · Avi Ziv. Commonly used approaches for accumulating coverage data do not properly ... Ariel Birnbaum · Laurent Fournier · Steve Mittermaier · Avi Ziv. Commonly used approaches for accumulating coverage data do not properly track events that ... › › Arie...

Verwandte Suchanfragen zu Steve Mittermaier

Person "Mittermaier" (1)
Vorname "Steve" (15266)
Name "Mittermaier" (258)

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

Steve Mittermaier und Ariel Birnbaum Person-Info

Hardware and Software: Verification and Testing: 7th ...

7th International Haifa Verification Conference, Hvc

Reverse Coverage Analysis | SpringerLink

A fortran unit-testing framework utilizing templating and the ...

Alle Infos zum Namen "Steve Mittermaier"

BibTeX bibliography lncs2012d.bib - Index of files in /

Lecture Notes in Computer Science PDF Free Download

Reverse Coverage Analysis | springerprofessional.dewww.springerprofessional.de › reverse-coverage-analysis

Lecture Notes in Computer Science