Paola Bracchi Bojan Cukic Vittorio Cortellessa 77-88 2004 conf/issre/2004 ISSRE http://doi.ieeecomputersociety.org/10.1109/ISSRE.2004.27 db/conf/issre/issre2004.html#BracchiCC04