Skip to content

Bug-Assist: Assisting Fault Localization in ANSI-C Programs.

Manu Jose, Rupak Majumdar

VenueA*CAV
Year2011
ProceedingsCAV

Browse the full CAV paper archive.