Matthias Rieger Stéphane Ducasse Michele Lanza 100-109 2004 conf/wcre/2004 WCRE http://doi.ieeecomputersociety.org/10.1109/WCRE.2004.25 db/conf/wcre/wcre2004.html#RiegerDL04