Navegar

Colección

Datos Estadísticas

Lista de

Braberman, Víctor Adrián
45
2007
2
"Hypervolume approximation in timed automata model checking" (2007) Braberman, V.; Obes, J.L.; Olivero, A.; Schapachnik, F. 5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2007. 4763 LNCS:69-81
"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