Godoy, J., Galeotti, J.P., Garbervetsky, D. and Uchitel, S. 2022. Enabledness-based Testing of Object Protocols. Proceedings of JAIIO. 8, 3 (Dec. 2022), 63-63.