Enabledness-based Testing of Object Protocols. - GODOY, JAVIER; GALEOTTI, JUAN PABLO; GARBERVETSKY, DIEGO; UCHITEL, SEBASTIÁN (ACM Transactions on Software Engineering & Methodology, 2021)