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: Caso:Guido_de
Contributed to:
2012
201120102009
2018Wrote 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.