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]
@inproceedings{SkevoulisJ00,
title = {Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs},
author = {Sotiris Skevoulis and Xiaoping Jia},
year = {2000},
doi = {10.1109/TOOLS.2000.891356},
url = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.891356},
tags = {rule-based, Java, program analysis, generic programming, analysis, static analysis},
researchr = {https://researchr.org/publication/SkevoulisJ00},
cites = {0},
citedby = {0},
pages = {36-44},
booktitle = {TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000},
publisher = {IEEE Computer Society},
}