Skip to content

Automated Verification and Test Case Generation for Input Validation.

Hui Liu, Hee Beng Kuan Tan

VenueA*ICSE
Year2006
ProceedingsAST@ICSE

Browse the full ICSE paper archive.