Search Results - "Garbervetsky, Diego"

An Empirical Study on How Sapienz Achieves Coverage and Crash Detection.

Authors: Arcuschin, Iván Galeotti, Juan Pablo Garbervetsky, Diego

Source: Journal of Software: Evolution & Process; Apr2023, Vol. 35 Issue 4, p1-24, 24p

Contractor.NET.

Authors: Zoppi, Edgardo Braberman, Víctor De Caso, Guido et al.

Source: ICSE: International Conference on Software Engineering; 2011, p44-47, 4p

Program abstractions for behaviour validation.

Authors: De Caso, Guido Braberman, Víctor Garbervetsky, Diego et al.

Source: ICSE: International Conference on Software Engineering; 2011, p381-390, 10p

Pest.

Authors: De Caso, Guido Garbervetsky, Diego Gorín, Daniel

Source: ICSE: International Conference on Software Engineering; 2011, p5-8, 4p

Enabledness-based Testing of Object Protocols.

Authors: GODOY, JAVIER GALEOTTI, JUAN PABLO GARBERVETSKY, DIEGO et al.

Source: ACM Transactions on Software Engineering & Methodology; Mar2021, Vol. 30 Issue 2, p1-36, 36p

Developing tools as plug-ins: TOPI 2012 special issue.

Authors: Garbervetsky, Diego Kim, Sunghun

Source: Software: Practice & Experience; Mar2014, Vol. 44 Issue 3, p259-260, 2p

Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation.

Authors: Clauss, Philippe Fernández, Federico Javier Garbervetsky, Diego

Source: IEEE Transactions on Very Large Scale Integration (VLSI) Systems; August 2009, Vol. 17 Issue 8, p983-996, 14p

Resource usage contracts for .NET.

Authors: Tapicer, Jonathan Garbervetsky, Diego Rouaux, Martin

Source: ICSE: International Conference on Software Engineering; 2011, p56-56, 1p

Validation of Contracts using Enabledness Preserving Finite State Abstractions.

Authors: de Caso, Guido Braberman, Víctor Garbervetsky, Diego et al.

Source: ICSE: International Conference on Software Engineering; 2009, p452-462, 11p, 7 Diagrams

Fully-Reflective VMs for Ruling Software Adaptation.

Authors: Chari, Guido Garbervetsky, Diego Marr, Stefan

Source: ICSE: International Conference on Software Engineering; 2017, p229-231, 3p

TacoFlow: optimizing SAT program verification using dataflow analysis.

Authors: Cuervo Parrino, Bruno Galeotti, Juan Garbervetsky, Diego et al.

Source: Software & Systems Modeling; Feb2015, Vol. 14 Issue 1, p45-63, 19p

Enabledness-Based Program Abstractions for Behavior Validation.

Authors: DE CASO, GUIDO BRABERMAN, VICTOR GARBERVETSKY, DIEGO et al.

Source: ACM Transactions on Software Engineering & Methodology; Jul2013, Vol. 22 Issue 3, p25:1-25:46, 46p

Integrated program verification tools in education.

Authors: Caso, Guido Garbervetsky, Diego Gorín, Daniel

Source: Software: Practice & Experience; Apr2013, Vol. 43 Issue 4, p403-418, 16p

2012 Annual Index.

Source: IEEE Transactions on Software Engineering. Jan2013, Vol. 39 Issue 1, pN.PAG. 0p.

Subjects: Pagination, Authors, Indexes, Publishing

3rd International Workshop on Developing Tools as Plug-Ins (TOPI 2013).

Authors: Barnett, Michael Nordio, Martin Bishop, Judith et al.

Source: ICSE: International Conference on Software Engineering; Feb2013, p1555-1555, 1p

Automated Abstractions for Contract Validation.

Authors: de Caso, Guido Braberman, Victor Garbervetsky, Diego et al.

Source: IEEE Transactions on Software Engineering; Jan2012, Vol. 38 Issue 1, p141-162, 0p, 11 Diagrams, 3 Charts