Title: Verfahren zur Reproduktion, Überwachung und Analyse semantischer Softwarefehler auf eingebetteten Plattformen mit einer Portabilitätsschnittstelle (Informatik)