A static analyzer for finding dynamic programming errors
- 2 May 2000
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 30 (7) , 775-802
- https://doi.org/10.1002/(SICI)1097-024X(200006)30:7%3C775::AID-SPE309%3E3.0.CO;2-H
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- AspectACM Transactions on Software Engineering and Methodology, 1995