publicações selecionadas artigo de conferência Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. International Journal on Software Tools for Technology Transfer. 2019
