ISSTA '04: International Symposium on Software Testing and Analysis 2004