Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.

Sotiris Skevoulis Xiaoping Jia Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs. 36-44 2000 conf/tools/37-2000 TOOLS (37) http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.891356 db/conf/tools/tools37-2000.html#SkevoulisJ00