Regression Testing of Virtual Prototypes Using Symbolic Execution

Recently virtual platforms and virtual prototyping techniques have been widely applied for accelerating software development in electronics companies. It has been proved that these techniques can greatly shorten time-to-market and improve product quality. One challenge is how to test and validate a...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Lin, Bin, Qian, Dejun
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Software Engineering
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!