Thorough static analysis of device drivers (2006)

by T Ball, E Bounimova, B Cook, V Levin, J Lichtenberg, C McGarvey, B Ondrusek, S K Rajamani, A Ustuner
Venue:In ACM SIGOPS European Conf. on Comput. Syst. (EuroSys