publicações Efficient Sampling of SAT and SMT Solutions for Testing and Verification Documento The Syntax Equivalence of Grammar Classes Documento