Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering - Redmiles, David (Association for Computing Machinery, 2005)