Valeria S. Bengolea

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 5

Top Topics

Test Generation

Top Venues

Softw. Test. Verification Reliab.

Sci. Comput. Program.

Publications

Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
BEAPI: A tool for bounded exhaustive input generation from APIs. Sci. Comput. Program. 238 (2024)
Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
Efficient Bounded Exhaustive Input Generation from Program APIs. FASE (2023)
Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias
Automatically Identifying Sufficient Object Builders from Module APIs. FASE (2019)
Ariel Godio, Valeria S. Bengolea, Pablo Ponzio, Nazareno Aguirre, Marcelo Fabian Frias
Efficient Test Generation Guided by Field Coverage Criteria. ASE (2019)
Pablo Ponzio, Valeria S. Bengolea, Simón Gutiérrez Brida, Gastón Scilingo, Nazareno Aguirre, Marcelo F. Frias
On the effect of object redundancy elimination in randomly testing collection classes. SBST@ICSE (2018)
Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid
Bounded exhaustive test input generation from hybrid invariants. OOPSLA (2014)
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
RepOK-based reduction of bounded exhaustive testing. Softw. Test. Verification Reliab. 24 (8) (2014)
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
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. ICST (2013)
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. TAP@TOOLS (2012)
Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. TAP@TOOLS (2011)