Cleanness Checking of String (2001)

by N Dor, M Rodeh, M Sagiv
Venue:Manipulations in C Programs via Integer Analysis’. LNCS. In: SAS’01