"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

"High-coverage testing of navigation models in android applications" (2017) Paulovsky, F.; Pavese, E.; Garbervetsky, D. 12th IEEE/ACM International Workshop on Automation of Software Testing, AST 2017:52-58

"Behaviour abstraction adequacy criteria for API call protocol testing" (2016) Czemerinski, H.; Braberman, V.; Uchitel, S. Software Testing Verification and Reliability. 26(3):211-244

"Behaviour abstraction adequacy criteria for API call protocol testing" (2016) Czemerinski, H.; Braberman, V.; Uchitel, S. Software Testing Verification and Reliability. 26(3):211-244

"Discrete Event Modeling and Simulation-Driven Engineering for the ATLAS Data Acquisition Network" (2016) Bonaventura, M.; Foguelman, D.; Castro, R. Computing in Science and Engineering. 18(3):70-83

"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. ACM SIGPLAN Notices. 49(10):655-674

"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. 2014 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2014:655-674

"Parallel bounded analysis in code with rich invariants by refinement of field bounds" (2013) Rosner, N.;Galeotti, J.;Bermúdez, S. (...)Frias, M.F. 22nd International Symposium on Software Testing and Analysis, ISSTA 2013:23-33

"Behaviour abstraction coverage as black-box adequacy criteria" (2013) Czemerinski, H.; Braberman, V.; Uchitel, S. IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013:222-231

"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

"Analysis of invariants for efficient bounded verification" (2010) Galeotti, J.P.; Rosner, N.; Pombo, C.G.L.; Frias, M.F. 19th International Symposium on Software Testing and Analysis, ISSTA 2010:25-35

"A foundation for behavioural conformance in software product line architectures" (2006) Fischbein, D.; Uchitel, S.; Braberman, V. ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, ROSATEA '06. 2006:39-48

"Unconstrained duals and their use in achieving all-uses coverage" (1996) Marré, M.;Bertolino, A.;Tracz W. (...)ACM Special Interest Group on Software Engineering (SIGSOFT) 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996:147-157