Yin Liu Ana L. Milanova Ownership and Immutability Inference for UML-Based Object Access Control. 323-332 2007 conf/icse/2007 ICSE https://doi.org/10.1109/ICSE.2007.61 https://doi.ieeecomputersociety.org/10.1109/ICSE.2007.61 http://dl.acm.org/citation.cfm?id=1248865 db/conf/icse/icse2007.html#LiuM07