Research projects

MuVeT

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

DEPLOY

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

Deploy Website

EvoMT

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

EvoMT Website