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

Roderick Bloem, Daniel M. Hein, Franz Rck, Richard Schumi

Browse the full TAP paper archive.