Godoy, Javier, Juan Pablo Galeotti, Diego Garbervetsky, and Sebastián Uchitel. 2022. “Enabledness-Based Testing of Object Protocols”. Proceedings of JAIIO 8 (3), 63-63. https://publicaciones.sadio.org.ar/index.php/JAIIO/article/view/281.