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 Konferenzband

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

Konferenz

Konferenz9th International Conference on Tests & Proofs
LandItalien
OrtL'Aquila
Zeitraum22/07/1524/07/15

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren