"AutoFrame: Automatic Frame Inference for Object-Oriented Languages."

Victor Rivera, Bertrand Meyer (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics