Funktionale Abdeckungsanalyse von C-Programmen

@inproceedings{pub7157,
    author = {

Windhorst, Aljoscha
 and 

Le, Hoang M.
 and 

Grosse, Daniel
 and 

Drechsler, Rolf
},
    title = {Funktionale Abdeckungsanalyse von C-Programmen},
    booktitle = {Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Proceedings. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-14), 17., March 10-12, Boeblingen, Germany},
    year = {2014},
    pages = {201--205},
    publisher = {Cuvillier Verlag GmbH}
}