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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageGerman
Title of host publicationInternational Conference on Tests And Proofs
Publisher.
Publication statusAccepted/In press - 2015
EventInternational Conference on Tests And Proofs - L'Aquila, Italy
Duration: 22 Jul 201524 Jul 2015

Conference

ConferenceInternational Conference on Tests And Proofs
CountryItaly
CityL'Aquila
Period22/07/1524/07/15

Fields of Expertise

  • Information, Communication & Computing

Cite this

Bloem, R. P., Hein, D., Röck, F., & Schumi, R. A. (Accepted/In press). 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.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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. ., International Conference on Tests And Proofs, L'Aquila, Italy, 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 -