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 contribution

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