Carlos A. González

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 4

Top Topics

Systematic Review

Test Generation

Top Venues

Inf. Softw. Technol.

J. Object Technol.

Publications

Robert Clarisó, Carlos A. González, Jordi Cabot
Incremental Verification of UML/OCL Models. J. Object Technol. 19 (3) (2020)
Robert Clarisó, Carlos A. González, Jordi Cabot
Smart Bound Selection for the Verification of UML/OCL Class Diagrams. IEEE Trans. Software Eng. 45 (4) (2019)
Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, Yago Isasi
Enabling Model Testing of Cyber-Physical Systems. MoDELS (2018)
Robert Clarisó, Carlos A. González, Jordi Cabot
Towards Domain Refinement for UML/OCL Bounded Verification. SEFM (2015)
Carlos A. González, Jordi Cabot
Formal verification of static software models in MDE: A systematic review. Inf. Softw. Technol. 56 (8) (2014)
Carlos A. González, Jordi Cabot
Test Data Generation for Model Transformations Combining Partition and Constraint Analysis. ICMT (2014)
Carlos A. González, Jordi Cabot
ATLTest: A White-Box Test Generation Approach for ATL Transformations. MoDELS (2012)
Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot
EMFtoCSP: a tool for the lightweight verification of EMF models. FormSERA@ICSE (2012)