RENZO DEGIOVANNI; PABLO PONZIO; NAZARENO AGUIRRE; MARCELO F. FRIAS

Improving lazy abstraction for SCR specifications through constraint relaxation

SOFTWARE TESTING, VERIFICATION & RELIABILITY; Año: 2018

MARCELO UVA; PABLO PONZIO; GERMÁN REGIS; NAZARENO AGUIRRE; MARCELO FRIAS

Automated workarounds from Java program specifications based on SAT solving

International Journal on Software Tools for Technology Transfer; Año: 2018

MARCELO UVA; PABLO PONZIO; GERMÁN REGIS; NAZARENO AGUIRRE; MARCELO FRIAS

Automated Workarounds from Java Program Specifications based on SAT Solving

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2017

PABLO PONZIO; NICOLÁS ROSNER; NAZARENO AGUIRRE; MARCELO FRIAS

Efficient Tight Field Bounds Computation Based on Shape Predicates

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2014 p. 531 - 546

RENZO DEGIOVANNI; PABLO PONZIO; NAZARENO AGUIRRE; MARCELO FRIAS

Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2011 p. 84 - 101

NAZARENO AGUIRRE; MARCELO F. FRIAS; PABLO PONZIO; BRIAN J. CARDIFF; JUAN P. GALEOTTI; GERMÁN REGIS

Towards Abstraction for DynAlloy Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2008 p. 207 - 225