Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA), June 28-30, 1993, Cambridge, Massachusetts, USA