Guest Editor's Introduction: 2004 IEEE International Symposium on Software Testing and Analysis | IEEE Journals & Magazine | IEEE Xplore