Symbolic device driver environment for <br /> detecting bugs in Linux device driver

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

Home
Introduction
- Journal honors
- Database
Editorial board
Guide
Submission
Publishing ethics
Subscription
Download
Contact us
中文

Symbolic device driver environment for
detecting bugs in Linux device driver

XU Yongjian1,2,WANG Dan1,CHEN Yu2,FAN Wenliang2

Computer Engineering & Science . 2016, (02): 290 -296 .