Bonifacio, Adilson.
" Language-Based Testing for Pushdown Reactive Systems." <em>Proceedings of the 26th Brazilian Symposium on Formal Methods,
Manaus/AM, 2023</em>. SBC, 2023,  
pp.75-91.