Enabling dynamic assertion-based verification of embedded software through model-driven design.

Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli

Browse the full DATE paper archive.