Godoy J, Galeotti JP, Garbervetsky D, Uchitel S. Enabledness-based Testing of Object Protocols. JAIIO [Internet]. 14dic.2022 [citado 15may2024];8(3):63-. Available from: https://ojs.sadio.org.ar/index.php/JAIIO/article/view/281