Vincenzo Martena

According to our database, Vincenzo Martena authored at least 3 papers between 2001 and 2004.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2004

Enhancing Remote Method Invocation through Type-Based Static Analysis.

Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco

Proceedings of the Fundamental Approaches to Software Engineering, 2004

2002

Interclass Testing of Object Oriented Software.

Vincenzo Martena, Alessandro Orso, Mauro Pezzè

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

2001

Alias Analysis by Means of a Model Checker.

Vincenzo Martena, Pierluigi San Pietro

Proceedings of the Compiler Construction, 10th International Conference, 2001