[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis