Proceedings of the 2007 international conference on Fundamentals of software engineering - Sirjani