International Symposium on Fundamentals of Software Engineering : International Symposium, FSEN 2007 : Tehran, Iran, April 17-19, 2007 : proceedings - Arbab, F.; Sirjani, Marjan (Lecture notes in computer science ;, 2007)