Proceedings of the 2007 international conference on Fundamentals of software engineering - Arbab, Farhad; Sirjani, Marjan; Association for Computing Machinery-Digital Library (Springer Berlin Heidelberg, 2007)