EMFtoCSP: a tool for the lightweight verification of EMF models. - Carlos A. González; Fabian Büttner; Robert Clarisó; Jordi Cabot (FormSERA@ICSE, 2012)

ATLTest: A White-Box Test Generation Approach for ATL Transformations. - Carlos A. González; Jordi Cabot (MoDELS, 2012)

Test Data Generation for Model Transformations Combining Partition and Constraint Analysis. - Carlos A. González; Jordi Cabot (ICMT, 2014)

Formal verification of static software models in MDE: A systematic review. - Carlos A. González; Jordi Cabot (Inf. Softw. Technol., 2014)

Towards Domain Refinement for UML/OCL Bounded Verification. - Robert Clarisó; Carlos A. González; Jordi Cabot (SEFM, 2015)

Enabling Model Testing of Cyber-Physical Systems. - Carlos A. González; Mojtaba Varmazyar; Shiva Nejati 001; Lionel C. Briand; Yago Isasi (MoDELS, 2018)

Smart Bound Selection for the Verification of UML/OCL Class Diagrams. - Robert Clarisó; Carlos A. González; Jordi Cabot (IEEE Trans. Software Eng., 2019)

Incremental Verification of UML/OCL Models. - Robert Clarisó; Carlos A. González; Jordi Cabot (J. Object Technol., 2020)