ASE 2004, 19th IEEE Int'l Conf. on Automated Software Eng.