Skip to content

A MILP-based approach to path sensitization of embedded software.

Jos C. Costa, Jos C. Monteiro

VenueADATE
Year2009
ProceedingsDATE

Browse the full DATE paper archive.