Lian Yu Jun Zhou Yue Yi Ping Li Qianxiang Wang Ontology Model-Based Static Analysis on Java Programs. 92-99 2008 COMPSAC http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.73 conf/compsac/2008 db/conf/compsac/compsac2008.html#YuZYLW08