Godoy, Javier, Juan Pablo Galeotti, Diego Garbervetsky, y Sebastián Uchitel. 2022. Enabledness-Based Testing of Object Protocols. Memorias De Las JAIIO 8 (3), 63-63. https://ojs.sadio.org.ar/index.php/JAIIO/article/view/281.