J. Godoy, J. P. Galeotti, D. Garbervetsky, y S. Uchitel, Enabledness-based Testing of Object Protocols, JAIIO, vol. 8, n.º 3, pp. 63-63, dic. 2022.