UTTOS: A Tool for Testing UEFI Code in OS Environment. - Eder C. M. Gomes; Paulo Roberto Pessoa Amora; Elvis Marques Teixeira; Antonio G. S. Lima; Felipe T. Brito; Juliano F. C. Ciocari; Javam C. Machado (ICTSS, 2016)