@mastersthesis{mastersthesis2e2ce269,
title   = {Linux kernel device driver testing},
author = {Schmitt, Marcelo and Meirelles, Paulo},
year = {2022},
doi = {10.11606/D.45.2022.tde-30112022-152524},
school = {Universidade de São Paulo}
}