Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
ACM Digital Library