Valeria S. Bengolea

According to our database, Valeria S. Bengolea authored at least 10 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2023

Efficient Bounded Exhaustive Input Generation from Program APIs.

Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2019

Efficient Test Generation Guided by Field Coverage Criteria.

Ariel Godio, Valeria S. Bengolea, Pablo Ponzio, Nazareno Aguirre, Marcelo Fabian Frias

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Automatically Identifying Sufficient Object Builders from Module APIs.

Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

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

Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

2014

RepOK-based reduction of bounded exhaustive testing.

Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias

Softw. Test. Verification Reliab., 2014

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

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

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

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites.

Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias

Proceedings of the Tests and Proofs - 6th International Conference, 2012

2011

Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs.

Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti

Proceedings of the Tests and Proofs - 5th International Conference, 2011