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

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