[1] |
Yin Z,Ma X,Zheng J,et al.An empirical study on configuration errors in commercial and open source systems[C]∥Proc of the 23th ACM Symposium on Operating Systems Principles,2011:159172.
|
[2] |
Tan L,Liu C,Li Z,et al.Bug characteristics in open source software[J].Empirical Software Engineering,2014,19(6):16651705.
|
[3] |
Palix N,Thomas G,Saha S,et al.Faults in Linux:Ten years later[J].ACM SIGARCH Computer Architecture News,2011,39(1):305318.
|
[4] |
Chen H,Mao Y,Wang X,et al.Linux kernel vulnerabilities:Stateoftheart defenses and open problems[C]∥Proc of the 2nd AsiaPacific Workshop on Systems,2011:5.
|
[5] |
Amani S,Ryzhyk L,Donaldson A F,et al.Static analysis of device drivers:We can do better![C]∥Proc of the 2nd AsiaPacific Workshop on Systems,2011:8.
|
[6] |
Cadar C,Sen K.Symbolic execution for software testing:Three decades later[J].Communications of the ACM,2013,56(2):8290.
|
[7] |
Ball T,Levin V,Rajamani S K.A decade of software model checking with SLAM[J].Communications of the ACM,2011,54(7):6876.
|
[8] |
Beyer D,Henzinger T A,Jhala R,et al.The software model checker Blast[J].International Journal on Software Tools for Technology Transfer,2007,9(56):505525.
|
[9] |
Wang X,Chen H,Jia Z,et al.Improving integer security for systems with KINT[C]∥Proc of the 10th Symposium on Operating Systems Design and Implementation,2012:163177.
|
[10] |
Ball T,Bounimova E,Levin V,et al.The static driver verifier research platform[C]∥Computer Aided Verification,2010:119122.
|
[11] |
Beyer D,Petrenko A.Linux driver verification[M]∥Leveraging Applications of Formal Methods,Verification and Validation.Applications and Case Studies.Berlin:Springer,2012:16.
|
[12] |
Trinity:A Linux system call fuzz tester [EB/OL].[20141001].http:∥codemonkey.org.uk/projects/trinity/.
|
[13] |
Cadar C,Dunbar D,Engler D R.KLEE:Unassisted and automatic generation of highcoverage tests for complex systems programs[C]∥Proc of the 8th Symposium on Operating Systems Design and Implementation,2008:209224.
|
[14] |
Chipounov V,Kuznetsov V,Candea G.S2E:A platform for invivo multipath analysis of software systems[J].ACM SIGARCH Computer Architecture News,2011,39(1):265278.
|
[15] |
Renzelmann M J,Kadav A,Swift M M.SymDrive:Testing drivers without devices[C]∥ Proc of the 10th Symposium on Operating Systems Design and Implementation,2012:46.
|