Constraint satisfaction for test program generationDaniel LewinLaurent Fournieret al.1995Phoenix IPCCC 1995