International Symposium on fundamentals of software engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings - Sirjani, Marjan; Arbab, Farhad (Lecture Notes in Computer Science,, 2007)