%0 Journal Article %1 journals/tosem/GodoyGGU21 %A Godoy, Javier %A Galeotti, Juan Pablo %A Garbervetsky, Diego %A Uchitel, Sebastián %D 2021 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 2 %P 12:1-12:36 %T Enabledness-based Testing of Object Protocols. %U http://dblp.uni-trier.de/db/journals/tosem/tosem30.html#GodoyGGU21 %V 30

@article{journals/tosem/GodoyGGU21, added-at = {2021-10-14T00:00:00.000+0200}, author = {Godoy, Javier and Galeotti, Juan Pablo and Garbervetsky, Diego and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/233fb1f29d92c35a066d88c9eba974b6e/dblp}, ee = {https://doi.org/10.1145/3415153}, interhash = {0ee7e0b0e4a78687518e2f637c04bff4}, intrahash = {33fb1f29d92c35a066d88c9eba974b6e}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 2, pages = {12:1-12:36}, timestamp = {2024-04-09T02:03:09.000+0200}, title = {Enabledness-based Testing of Object Protocols.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem30.html#GodoyGGU21}, volume = 30, year = 2021 }