Automated Driver Testing for Small Footprint Embedded Systems. - Sara C. M. Souza; Rogério Atem de Carvalho (CoRR, 2021)