Concepedia

Valeria Bengolea

VB

Statistics

Publications

2

Citations

56

H-Index

2

Active since

2013

Affiliations

Universidad de Buenos Aires(Current)

Buenos Aires Institute of Technology

National University of Río Cuarto

Valeria Bengolea is an author at Universidad de Buenos Aires specializing in formal methods, test generation, and verification.

Top concepts

EngineeringVerificationFormal MethodsTest GenerationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer Engineering

Publications per year

2013–2014

2

Publications

2

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

Pablo Garrido Abad, Nazareno Aguirre, Valeria Bengolea et al. · 2013 · 40 citations

Engineering, Verification, Test Data Generation +21

Bounded exhaustive test input generation from hybrid invariants

Nicolás Rosner, Valeria Bengolea, Pablo Ponzio et al. · 2014 · 16 citations

Mathematical Programming, Engineering, Verification +18

1–2 of 2