Author: Symposium on Software Testing, Analysis, and Verification (3rd 1989 Key West, Fla.)