Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software

Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Stefan Huster, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel, Thomas Greiner. Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. 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 61-70, Cuvillier, 2014.

Authors

Hanno Eichelberger

This author has not been identified. Look up 'Hanno Eichelberger' in Google

Patrick Heckeler

This author has not been identified. Look up 'Patrick Heckeler' in Google

Jürgen Ruf

This author has not been identified. Look up 'Jürgen Ruf' in Google

Stefan Huster

This author has not been identified. Look up 'Stefan Huster' in Google

Sebastian Burg

This author has not been identified. Look up 'Sebastian Burg' in Google

Thomas Kropf

This author has not been identified. Look up 'Thomas Kropf' in Google

Wolfgang Rosenstiel

This author has not been identified. Look up 'Wolfgang Rosenstiel' in Google

Thomas Greiner

This author has not been identified. Look up 'Thomas Greiner' in Google