Case Study: Automatic Test Case Generation for a Secure Cache Implementation
['Roderick Bloem', 'Daniel M. Hein', 'Franz Röck', 'Richard Schumi']
Case Study: Automatic Test Case Generation for a Secure Cache Implementation