| |
| 2004 | ||
|---|---|---|
| 3 | EE | Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco: Enhancing Remote Method Invocation through Type-Based Static Analysis. FASE 2004: 339-353 |
| 2002 | ||
| 2 | EE | Vincenzo Martena, Alessandro Orso, Mauro Pezzè: Interclass Testing of Object Oriented Software. ICECCS 2002: 135-144 |
| 2001 | ||
| 1 | EE | Vincenzo Martena, Pierluigi San Pietro: Alias Analysis by Means of a Model Checker. CC 2001: 3-19 |
| 1 | Carlo Ghezzi | [3] |
| 2 | Alessandro Orso | [2] |
| 3 | Mauro Pezzè | [2] |
| 4 | Gian Pietro Picco | [3] |
| 5 | Pierluigi San Pietro | [1] |