"Testing and validating end user programmed calculated fields" (2018) Braberman, V.;Garbervetsky, D.;Godoy, J. (...)Leavens G.T. 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018:827-832

"Testing and validating end user programmed calculated fields" (2018) Braberman, V.;Garbervetsky, D.;Godoy, J. (...)Leavens G.T. 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018:827-832

"BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support" (2015) Rosner, N.;Geldenhuys, J.;Aguirre, N.M. (...)Frias, M.F. IEEE Transactions on Software Engineering. 41(7):639-660

"BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support" (2015) Rosner, N.;Geldenhuys, J.;Aguirre, N.M. (...)Frias, M.F. IEEE Transactions on Software Engineering. 41(7):639-660

"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

"Achieving both model and code coverage with automated gray-box testing" (2007) Kicillof, N.; Grieskamp, W.; Tillmann, N.; Braberman, V. Proceedings of the 3rd International Workshop Advances in Model Based Testing, AMOST 2007:1-11

"Achieving both model and code coverage with automated gray-box testing" (2007) Kicillof, N.; Grieskamp, W.; Tillmann, N.; Braberman, V. Proceedings of the 3rd International Workshop Advances in Model Based Testing, AMOST 2007:1-11