Skip to content

Check 'n' crash: combining static checking and testing.

Christoph Csallner, Yannis Smaragdakis

VenueA*ICSE
Year2005
ProceedingsICSE

Browse the full ICSE paper archive.