Efficient Sampling of SAT and SMT Solutions for Testing ...

To my grandfather, Geraldo Aur elio Cordeiro Tupynamb a, who rst taught me how to use a computer. He is an extremely intelligent and wise man, but also a good and generous person, who cares about the well-being of others. He has given me great advice, including on the choice of university and advisor for the PhD program. ................
................