Research projects


Multi-scale modelling verification and testing. Financed by CNCS-UEFISCDI (National Council for Scientific Research - Executive Unit for Financing Higher Education, Research, Development and Innovation), project number PN-II-ID-PCE-2011-3-0688.

MuVet Website


European Commission Information and Communication Technologies FP7 project. University of Pitesti develop search-based testing approaches for Event-B models

Deploy Website


An integrated Evolutionary approach to Formal Modelling and Testing. Financed by CNCSIS - UEFISCSU (The National Research Council for Higher Education)

EvoMT Website