> Hello, world! My scientific area is formal methods in software engineering. I currently investigate model-based testing using different techniques, with a special application domain in service-oriented architectures. In 2014, I am in the PC of the following conferences, which I warmly advertise: ECMFA'14, MODELSWARD'14, VALID'14. I am also part of the organizing committee of ICTAC'14 conference, which will take place next September in Bucharest, Romania. |   
This website was updated in February 2014 |