BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
2 × United Kingdom
Collaborated with:
J.Cabot R.Clarisó M.Varmazyar S.Nejati L.C.Briand Y.Isasi
Talks about:
test (4) transform (2) generat (2) model (2) atl (2) constraint (1) approach (1) analysi (1) toward (1) system (1)

Person: Carlos A. González

DBLP DBLP: Gonz=aacute=lez:Carlos_A=

Contributed to:

SEFM 20152015
ICMT 20142014
MoDELS 20122012
MoDELS 20182018

Wrote 4 papers:

SEFM-2015-ClarisoGC #bound #ocl #refinement #towards #uml #verification
Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.
ICMT-2014-GonzalezC #analysis #constraints #generative #model transformation #testing
Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
MoDELS-2012-GonzalezC #approach #atl #generative #named #testing
ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
MoDELS-2018-GonzalezVNBI #cyber-physical #testing
Enabling Model Testing of Cyber-Physical Systems (CAG, MV, SN, LCB, YI), pp. 176–186.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.