International Symposium on software testing and analysis (Software Engineering Notes, 1993)