Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - Roman, Gruia-Catalin (Association for Computing Machinery, 2010)