1. Alves E.L.G. Machado P.D.L. Ramalho F. 2014. Alves E.L.G. Machado P.D.L. Ramalho F. 2014.
2. Automatic generation of built-in contract test drivers. Software and Systems Modelling 13(3) 1141-1165. 10.1007/s10270-012-0282-8 Automatic generation of built-in contract test drivers. Software and Systems Modelling 13(3) 1141-1165. 10.1007/s10270-012-0282-8
3. Evaluation of Contemporary Graph Databases for Efficient Persistence of Large-Scale Models;Barmpis K.;Journal of Object Technology,2014
4. Multi-RQP
5. Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach