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 × Canada
1 × Italy
1 × South Africa
1 × USA
Collaborated with:
V.A.Braberman D.Garbervetsky S.Uchitel J.Godoy I.Perez S.Perez
Talks about:
valid (6) behaviour (3) abstract (3) artefact (2) softwar (2) program (2) engin (2) contract (1) preserv (1) enabled (1)

Person: Guido de Caso

DBLP DBLP: Caso:Guido_de

Contributed to:

SFM 20122012
ICSE 20112011
ICSE 20102010
ICSE 20092009
ESEC/FSE 20182018

Wrote 6 papers:

SFM-2012-CasoBGU #abstraction #validation
Abstractions for Validation in Action (GdC, VAB, DG, SU), pp. 192–218.
ICSE-2011-CasoBGU #abstraction #behaviour #validation
Program abstractions for behaviour validation (GdC, VAB, DG, SU), pp. 381–390.
ICSE-2010-Caso #behaviour #re-engineering #validation
Behavioural validation of software engineering artefacts (GdC), pp. 335–336.
ICSE-2010-Caso10a #behaviour #re-engineering #validation
Behavioural validation of software engineering artefacts (GdC), pp. 505–506.
ICSE-2009-CasoBGU #abstraction #contract #finite #using #validation
Validation of contracts using enabledness preserving finite state abstractions (GdC, VAB, DG, SU), pp. 452–462.
ESEC-FSE-2018-BrabermanGGUCPP #testing #validation
Testing and validating end user programmed calculated fields (VAB, DG, JG, SU, GdC, IP, SP), pp. 827–832.

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.