A static analyzer for finding dynamic programming errors. - William R. Bush; Jonathan D. Pincus; David J. Sielaff (Softw. Pract. Exp., 2000)