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 paperpeer-review

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

Conference

ConferenceInternational Conference on Tests and Proofs
Country/TerritoryItaly
CityL'Aquila
Period22/07/1524/07/15

Fields of Expertise

  • Information, Communication & Computing

Cite this