Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis | IEEE Journals & Magazine | IEEE Xplore