Godoy, J.; Galeotti, J. P.; Garbervetsky, D.; Uchitel, S. Enabledness-Based Testing of Object Protocols. JAIIO 2022, 8, 63-63.