A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities-Reference-Cited by-同舟云学术

A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities

Published:2009 Issue: Volume: Page:815-832
ISSN:0302-9743
Container-title:On the Move to Meaningful Internet Systems: OTM 2009
language:
Short-container-title:

Author:

Hanna Aiman,Ling Hai Zhou,Yang XiaoChun,Debbabi Mourad

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-05151-7_5.pdf

Reference17 articles.

1. Build Security (access on April 29, 2009), https://buildsecurityin.us-cert.gov/daisy/bsi/home.html/

2. Securityfocus (access on February 26, 2009), http://www.securityfocus.com/bid/27796

3. Bird, D., Munoz, C.: Automatic generation of random self-checking test cases. IBM Systems J. 22(3), 229–245 (1982)

4. Boyer, R., Elspas, B., Levitt, K.: Select - a formal system for testing and debugging programs by symbolic execution. SIGPLAN Notices 10(6), 234–245 (1975)

5. Cadar, C., Engler, D.: Execution generated test cases: How to make systems code crash itself (March 2005)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Vulnerability Detection Model for Java Systems Based on Complex Networks;2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI);2019-08

2. An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution;Programming and Computer Software;2018-11

3. Model-based security testing: a taxonomy and systematic classification;Software Testing, Verification and Reliability;2015-07-24

4. A systematic mapping study on the combination of static and dynamic quality assurance techniques;Information and Software Technology;2012-01