BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
1 × Spain
Collaborated with:
G.Rossi C.S.Frydman J.Mesuro P.Albertengo P.R.Monetti
Talks about:
test (6) framework (3) templat (3) set (3) procedur (2) function (2) partial (2) decis (2) contradict (1) constraint (1)

Person: Maximiliano Cristiá

DBLP DBLP: Cristi=aacute=:Maximiliano

Contributed to:

ICLP 20152015
FASE 20142014
SEFM 20132013
SEFM 20102010
CAV (1) 20162016
CADE 20172017

Wrote 6 papers:

ICLP-J-2015-CristiaRF #constraints #logic programming #set
Adding partial functions to Constraint Logic Programming with sets (MC, GR, CSF), pp. 651–665.
FASE-2014-CristiaMF #framework #integration #testing
Integration Testing in the Test Template Framework (MC, JM, CSF), pp. 400–414.
SEFM-2013-CristiaRF #framework #generative #testing
{log} as a Test Case Generator for the Test Template Framework (MC, GR, CSF), pp. 229–243.
SEFM-2010-CristiaAM #detection #framework #testing
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions (MC, PA, PRM), pp. 268–277.
CAV-2016-CristiaR #set
A Decision Procedure for Sets, Binary Relations and Partial Functions (MC, GR), pp. 179–198.
CADE-2017-CristiaR #set #strict
A Decision Procedure for Restricted Intensional Sets (MC, GR), pp. 185–201.

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.