Yin Liu Ana Milanova Ownership and Immutability Inference for UML-Based Object Access Control. 323-332 2007 conf/icse/2007 ICSE http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.61 db/conf/icse/icse2007.html#LiuM07