A static analyzer for finding dynamic programming errors (0)

by William R Bush, Jonathan D Pincus, David J Sielaff
Venue:Softw., Pract. Exper