"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 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

"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

"Using Spanning Sets for Coverage Testing" (2003) Marré, M.; Bertolino, A. IEEE Transactions on Software Engineering. 29(11):974-984

"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