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. 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]

Authors

Sotiris Skevoulis

This author has not been identified. Look up 'Sotiris Skevoulis' in Google

Xiaoping Jia

This author has not been identified. Look up 'Xiaoping Jia' in Google