Guido de Caso

Automated Abstractions for Contract Validation

Guido de Caso, Vı́ctor Braberman, Diego Garbervetsky et al. · IEEE Transactions on Software Engineering · 2010 · 42 citations · Full text

Computing, Computer Science, Formal Methods +9

Enabledness-based program abstractions for behavior validation

Guido de Caso, Vı́ctor Braberman, Diego Garbervetsky et al. · ACM Transactions on Software Engineering and Methodology · 2013 · 22 citations · Full text

Computing, Computer Science, Formal Methods +12

Program abstractions for behaviour validation

Guido de Caso, Vı́ctor Braberman, Diego Garbervetsky et al. · 2011 · 21 citations

Computing, Computer Science, Formal Methods +9

Validation of contracts using enabledness preserving finite state abstractions

Guido de Caso, Vı́ctor Braberman, Diego Garbervetsky et al. · 2009 · 18 citations

Computing, Computer Science, Formal Methods +12

Supporting incremental behaviour model elaboration

Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David et al. · Computer Science - Research and Development · 2012 · 16 citations · Full text

Public Health, Systems Engineering, Behavior Analysis +5