Overview and Evaluation of Constraint Validation Approaches in Java. - Lorenz Froihofer; Gerhard Glos; Johannes Osrael; Karl M. Göschka (ICSE, 2007)