Search Results - "Frias, Marcelo"

An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria.

Authors: Zemín, Luciano Godio, Ariel Cornejo, César et al.

Source: ACM Transactions on Software Engineering & Methodology; Mar2025, Vol. 34 Issue 3, p1-20, 20p

Assessment of Compliance with Integral Conservation Principles in Chemically Reactive Flows Using rhoCentralRfFoam   †.

Authors: Frias, Marcelo Gutiérrez Marcantoni, Luis Elaskar, Sergio

Source: Axioms (2075-1680). Nov2025, Vol. 14 Issue 11, p782. 21p.

Efficient Analysis of DynAlloy Specifications.

Authors: Frias, Marcelo F. Lopez Pombo, Carlos G. Galeotti, Jaun P.

Source: ACM Transactions on Software Engineering & Methodology; Dec2007, Vol. 17 Issue 1, pD1-D34, 34p

Landscape Change and Threats to Conservation of River Dolphin Inia araguaiaensis (Cetacea: Iniidae) in the Brazilian Savanna.

Authors: de Moraes, Cristiane Gonçalves Marmontel, Miriam Frias, Mariana Paschoalini et al.

Source: International Review of Hydrobiology. Jun2025, Vol. 110 Issue 1, p13-21. 9p.

Bounded Exhaustive Search of Alloy Specification Repairs.

Authors: Gutiérrez Brida, Simón Regis, Germán Guolong Zheng et al.

Source: ICSE: International Conference on Software Engineering; 5/22/2021, p1135-1147, 13p

EvoSpex: An Evolutionary Algorithm for Learning Postconditions.

Authors: Molina, Facundo Ponzio, Pablo Aguirre, Nazareno et al.

Source: ICSE: International Conference on Software Engineering; 5/22/2021, p1223-1235, 13p

Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach.

Authors: Frias, Marcelo F. López Pombo, Carlos G. Baum, Gabriel A.

Source: ACM Transactions on Software Engineering & Methodology; October 2005, Vol. 14 Issue 4, p478-526, 49p

Improving lazy abstraction for SCR specifications through constraint relaxation.

Authors: Degiovanni, Renzo Ponzio, Pablo Aguirre, Nazareno et al.

Source: Software Testing: Verification & Reliability; Mar2018, Vol. 28 Issue 2, p1-1, 28p

An evolutionary approach to translating operational specifications into declarative specifications.

Authors: Molina, Facundo Cornejo, César Degiovanni, Renzo et al.

Source: Science of Computer Programming; Jul2019, Vol. 181, p47-63, 17p

BEAPI: A tool for bounded exhaustive input generation from APIs.

Authors: Politano, Mariano Bengolea, Valeria Molina, Facundo et al.

Source: Science of Computer Programming; Dec2024, Vol. 238, pN.PAG-N.PAG, 1p

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

RepOK-based reduction of bounded exhaustive testing.

Authors: Bengolea, Valeria Aguirre, Nazareno Marinov, Darko et al.

Source: Software Testing: Verification & Reliability; Dec2014, Vol. 24 Issue 8, p629-655, 27p

Dynamite: A Tool for the Verification of Alloy Models Based on PVS.

Authors: MOSCATO, MARIANO M. LOPEZ POMBO, CARLOS G. FRIAS, MARCELO F.

Source: ACM Transactions on Software Engineering & Methodology; Mar2014, Vol. 23 Issue 2, p20:1-20:37, 37p

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds.

Authors: Galeotti, Juan P. Rosner, Nicolas Lopez Pombo, Carlos G. et al.

Source: IEEE Transactions on Software Engineering; Sep2013, Vol. 39 Issue 9, p1283-1307, 25p, 1 Color Photograph, 18 Black and White Photographs, 5 Diagrams, 10 Charts, 7 Graphs

PUBLICATIONS OF THE WEEK.

Source: Bookseller; 9/27/2002, Issue 5045, p37, 28p

Comerciantes, censores y bibliotecas. circulación del libro entre España y Nueva Granada en el siglo XVIII

Authors: Campillo Pardo, Alberto José

Resource Type: eBook.

Subjects: Book industries and trade--Spain--History--18th century

Categories: LITERARY CRITICISM / Books & Reading

A Geography of Hard Times : Narratives About Travel to South America, 1780-1849

Authors: Ángela Pérez-Mejía

Resource Type: eBook.

Subjects: Travelers' writings, European--History and criticism, Visitors, Foreign--Latin America--History--18th century, Visitors, Foreign--Latin America--History--19th century, Visitors, Foreign--Latin America--Attitudes

Categories: LITERARY CRITICISM / European / General, HISTORY / Latin America / General, LITERARY CRITICISM / Caribbean & Latin American

Fork Algebras In Algebra, Logic And Computer Science

Authors: Marcelo Fabian Frias

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical, Computer science--Mathematics

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Engineering, MATHEMATICS / Logic