Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. - Nazareno Aguirre; Valeria S. Bengolea; Marcelo F. Frias; Juan P. Galeotti (TAP@TOOLS, 2011)

Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. - Valeria S. Bengolea; Nazareno Aguirre; Darko Marinov; Marcelo F. Frias (TAP@TOOLS, 2012)

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. - Pablo Abad; Nazareno Aguirre; Valeria S. Bengolea; Daniel Alfredo Ciolek; Marcelo F. Frias; Juan P. Galeotti; Tom Maibaum; Mariano M. Moscato; Nicolás Rosner; Ignacio Vissani (ICST, 2013)

Bounded exhaustive test input generation from hybrid invariants. - Nicolás Rosner; Valeria S. Bengolea; Pablo Ponzio; Shadi Abdul Khalek; Nazareno Aguirre; Marcelo F. Frias; Sarfraz Khurshid (OOPSLA, 2014)

RepOK-based reduction of bounded exhaustive testing. - Valeria S. Bengolea; Nazareno Aguirre; Darko Marinov; Marcelo F. Frias (Softw. Test. Verification Reliab., 2014)

On the effect of object redundancy elimination in randomly testing collection classes. - Pablo Ponzio; Valeria S. Bengolea; Simón Gutiérrez Brida; Gastón Scilingo; Nazareno Aguirre; Marcelo F. Frias (SBST@ICSE, 2018)

Automatically Identifying Sufficient Object Builders from Module APIs. - Pablo Ponzio; Valeria S. Bengolea; Mariano Politano; Nazareno Aguirre; Marcelo F. Frias (FASE, 2019)

Efficient Test Generation Guided by Field Coverage Criteria. - Ariel Godio; Valeria S. Bengolea; Pablo Ponzio; Nazareno Aguirre; Marcelo Fabian Frias (ASE, 2019)

Efficient Bounded Exhaustive Input Generation from Program APIs. - Mariano Politano; Valeria S. Bengolea; Facundo Molina; Nazareno Aguirre; Marcelo F. Frias; Pablo Ponzio (FASE, 2023)

BEAPI: A tool for bounded exhaustive input generation from APIs. - Mariano Politano; Valeria S. Bengolea; Facundo Molina; Nazareno Aguirre; Marcelo F. Frias; Pablo Ponzio (Sci. Comput. Program., 2024)