Alias Analysis by Means of a Model Checker. - Vincenzo Martena; Pierluigi San Pietro (CC, 2001)

Interclass Testing of Object Oriented Software. - Vincenzo Martena; Alessandro Orso; Mauro Pezzè (ICECCS, 2002)

Enhancing Remote Method Invocation through Type-Based Static Analysis. - Carlo Ghezzi; Vincenzo Martena; Gian Pietro Picco (FASE, 2004)