Funktionale Abdeckungsanalyse von C-Programmen

Aljoscha Windhorst, Hoang M. Le, Daniel Große, Rolf Drechsler. Funktionale Abdeckungsanalyse von C-Programmen. In Jürgen Ruf, Dirk Allmendinger, Matteo Michel, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany. pages 201-204, Cuvillier, 2014.

Abstract

Abstract is missing.