Oliosi, Enrico and Giacobazzi, Roberto (rel.) (2004) [BM Tesi I 0211]. - Tecniche di program slicing ed interpretazione astratta nel testing regressivo. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.