Skip to content

All-values symbolic execution.

Giovanni Denaro

VenueA*ICSE
Year2012
ProceedingsAST@ICSE

Browse the full ICSE paper archive.