Thorough static analysis of device drivers 论文

2006引用 378
DOI
Security and Verification in ComputingSoftware Testing and Debugging TechniquesSoftware System Performance and Reliability
网络安全Security and Verification in ComputingSoftware Testing and Debugging TechniquesSoftware System Performance and Reliability
关系图谱

Thorough static analysis of device drivers · 作者

A

Abdullah Ustuner

S

Sriram K. Rajamani

B

Bohus Ondrusek

C

Con McGarvey

J

Jakob Lichtenberg

V

Vladimir Levin

B

Byron Cook

E

Ella Bounimova

T

Thomas Ball