Sponsored by the ACM Special Interest Group on Software Engineering, in cooperation with ACM SIGPLAN.