Valeria S. Bengolea

According to our database1, Valeria S. Bengolea authored at least 9 papers between 2011 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Efficient Bounded Exhaustive Input Generation from Program APIs.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

2019
Efficient Test Generation Guided by Field Coverage Criteria.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Automatically Identifying Sufficient Object Builders from Module APIs.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018
On the effect of object redundancy elimination in randomly testing collection classes.
Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

2014
RepOK-based reduction of bounded exhaustive testing.
Softw. Test. Verification Reliab., 2014

Bounded exhaustive test input generation from hybrid invariants.
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.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites.
Proceedings of the Tests and Proofs - 6th International Conference, 2012

2011
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs.
Proceedings of the Tests and Proofs - 5th International Conference, 2011


  Loading...