Static analysis for dummies: experiencing LiSA.

Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi

Browse the full PLDI paper archive.