Guido de Caso

16 papers A* 2Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2018 — conf
Testing and validating end user programmed calculated fields.
ESEC/SIGSOFT FSE
Víctor A. Braberman, Diego Garbervetsky, Javier Godoy, Sebastián Uchitel, Guido de Caso, Ignacio Perez, Santiago Pérez
2013 J jnl
Enabledness-based program abstractions for behavior validation.
ACM Trans. Softw. Eng. Methodol.
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2013 J jnl
Integrated program verification tools in education.
Softw. Pract. Exp.
Guido de Caso, Diego Garbervetsky, Daniel Gorín
2013 J jnl
Supporting incremental behaviour model elaboration.
Comput. Sci. Res. Dev.
Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay
2013 — conf
dkal ⋆ : Constructing Executable Specifications of Authorization Protocols.
ESSoS
Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy
2012 — conf
Abstractions for Validation in Action.
SFM
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2012 J jnl
Automated Abstractions for Contract Validation.
IEEE Trans. Software Eng.
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2012 — conf
From Primal Infon Logic with Individual Variables to Datalog.
Correct Reasoning
Nikolaj S. Bjørner, Guido de Caso, Yuri Gurevich
2011 — conf
Contractor.NET: inferring typestate properties to enrich code contracts.
TOPI@ICSE
Edgardo Zoppi, Víctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel
2011 — conf
Pest: from the lab to the classroom.
TOPI@ICSE
Guido de Caso, Diego Garbervetsky, Daniel Gorín
2011 A* conf
Program abstractions for behaviour validation.
ICSE
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2010 — conf
Behavioural validation of software engineering artefacts.
ICSE (2)
Guido de Caso
2010 — conf
Behavioural validation of software engineering artefacts.
ICSE (2)
Guido de Caso
2010 J jnl
Reducing the Number of Annotations in a Verification-oriented Imperative Language
CoRR
Guido de Caso, Diego Garbervetsky, Daniel Gorín
2009 A* conf
Validation of contracts using enabledness preserving finite state abstractions.
ICSE
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2006 — conf
A toolsuite for the verification of real-time systems in Eclipse.
ETX
Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero