An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes.

Sren Tempel, Vladimir Herdt, Rolf Drechsler

Browse the full DATE paper archive.