SELECT--A FORMAL SYSTEM FOR "ESTING AND DEBUGGING PROGRAMS BY SYMBOLIC EXECUTION