Test suites for benchmarks of static analysis tools
暂无分享,去创建一个
Shinichi Shiraishi | Veena Mohan | Hemalatha Marimuthu | Shin'ichi Shiraishi | Veena Mohan | Hemalatha Marimuthu
[1] Aurelien Delaitre,et al. Report on the third static analysis tool exposition (SATE 2010) , 2011 .
[2] Elizabeth N. Fong,et al. Source code security analysis tool functional specification version 1.1 , 2011 .
[3] Shuhei Yamashita,et al. Introduction of ISO 26262 'Road vehicles-Functional safety' , 2012 .
[4] Tim Kelly,et al. The Goal Structuring Notation – A Safety Argument Notation , 2004 .
[5] Mikio Aoyama,et al. Computing for the Next-Generation Automobile , 2012, Computer.
[6] Richard P. Lippmann,et al. Using a Diagnostic Corpus of C Programs to Evaluate Buffer Overflow Detection by Static Analysis Tools , 2005 .