Navegar

Colección

Datos Estadísticas

Lista de

Galeotti, Juan Pablo
12
2011
2
"Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs" (2011) Aguirre, N.M.; Bengolea, V.S.; Frias, M.F.; Galeotti, J.P. 5th International Conference on Tests and Proofs, TAP 2011. 6706 LNCS:15-32
"A dataflow analysis to improve SAT-based bounded program verification" (2011) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. 9th International Conference on Software Engineering and Formal Methods, SEFM 2011. 7041 LNCS:138-154