Sotiris Skevoulis, Xiaoping Jia. Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs. In TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000. pages 36-44, IEEE Computer Society, 2000. [doi]
Abstract is missing.