Fabrizio Fioravanti G. Migliarese Paolo Nesi 577-586 2001 conf/icse/2001 ICSE db/conf/icse/icse2001.html#FioravantiMN01 http://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919132