A static analyzer for finding dynamic programming errors
William R. Bush, Jonathan D. Pincus, David J. Sielaff[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Software Practice and Experience
30(7)
John Wiley & Sons, Inc.
USA
Pages 775-802
June 2000
Note(s): symbolic execution
John Wiley & Sons, Inc.
USA
Pages 775-802
June 2000
Note(s): symbolic execution