Case Study: Automatic Test Case Generation for a Secure Cache Implementation

Roderick Paul Bloem, Daniel Hein, Franz Röck, Richard Alexander Schumi

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalsprachedeutsch
TitelInternational Conference on Tests And Proofs
Herausgeber (Verlag).
PublikationsstatusAngenommen/In Druck - 2015
VeranstaltungInternational Conference on Tests And Proofs - L'Aquila, Italien
Dauer: 22 Jul 201524 Jul 2015

Konferenz

KonferenzInternational Conference on Tests And Proofs
LandItalien
OrtL'Aquila
Zeitraum22/07/1524/07/15

Fields of Expertise

  • Information, Communication & Computing

Dies zitieren

Bloem, R. P., Hein, D., Röck, F., & Schumi, R. A. (Angenommen/Im Druck). Case Study: Automatic Test Case Generation for a Secure Cache Implementation. in International Conference on Tests And Proofs ..

Case Study: Automatic Test Case Generation for a Secure Cache Implementation. / Bloem, Roderick Paul; Hein, Daniel; Röck, Franz; Schumi, Richard Alexander.

International Conference on Tests And Proofs. ., 2015.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Bloem, RP, Hein, D, Röck, F & Schumi, RA 2015, Case Study: Automatic Test Case Generation for a Secure Cache Implementation. in International Conference on Tests And Proofs. ., L'Aquila, Italien, 22/07/15.
Bloem RP, Hein D, Röck F, Schumi RA. Case Study: Automatic Test Case Generation for a Secure Cache Implementation. in International Conference on Tests And Proofs. . 2015
Bloem, Roderick Paul ; Hein, Daniel ; Röck, Franz ; Schumi, Richard Alexander. / Case Study: Automatic Test Case Generation for a Secure Cache Implementation. International Conference on Tests And Proofs. ., 2015.
@inproceedings{608436c000594d67a63bd18e4d115ce6,
title = "Case Study: Automatic Test Case Generation for a Secure Cache Implementation",
author = "Bloem, {Roderick Paul} and Daniel Hein and Franz R{\"o}ck and Schumi, {Richard Alexander}",
year = "2015",
language = "deutsch",
booktitle = "International Conference on Tests And Proofs",
publisher = ".",

}

TY - GEN

T1 - Case Study: Automatic Test Case Generation for a Secure Cache Implementation

AU - Bloem, Roderick Paul

AU - Hein, Daniel

AU - Röck, Franz

AU - Schumi, Richard Alexander

PY - 2015

Y1 - 2015

M3 - Beitrag in einem Konferenzband

BT - International Conference on Tests And Proofs

PB - .

ER -