I am starting my Ph.D. project in Software Testing. I am planning to create a tool to test distributive applications with building The Model (of all system as a whole). Model is extension of finite automatto (I like this Italian pronunciation) with probability in transitions. There are two methods of testing - off-line (by using statistic methods and the theory of graphs) and on-line - with testing server. The extension for Eclipse and VS can help developers to describe The Model.

I am planning to support languages: C#, Java, Ruby, PHP, Python.