Lorenz Froihofer Gerhard Glos Johannes Osrael Karl M. Göschka Overview and Evaluation of Constraint Validation Approaches in Java. 313-322 2007 conf/icse/2007 ICSE http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.60 db/conf/icse/icse2007.html#FroihoferGOG07