Generic invarint-based static analysis tools for detection of runtime errors in java programs.

Authors

Sotiris Skevoulis
Xiaoping Jia

Document Type

Article

Recommended Citation

Skevoulis, Sotiris and Jia, Xiaoping, "Generic invarint-based static analysis tools for detection of runtime errors in java programs." (2001). CSIS Faculty Papers. 89.
https://digitalcommons.pace.edu/tech/89