Augusto Celentano Pierluigi Della Vigna Interprocedural Test Path Evaluation. 115-130 1981 6 Comput. Lang. 3/4 db/journals/cl/cl6.html#CelentanoV81