Rafael M. Macieira, Edson B. Lisboa, Edna Barros. Device Driver Generation and Checking Approach. In Antônio Augusto Fröhlich, Leandro Buss Becker, editors, Brazilian Symposium on Computing System Engineering, SBESC 2011, Florianopolis, Brazil, November 7-11, 2011. pages 72-77, IEEE Computer Society, 2011. [doi]
Abstract is missing.