Gruia-Catalin Roman William G. Griswold Bashar Nuseibeh 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA ICSE ACM 2005 db/conf/icse/icse2005.html