Complexity vulnerability analysis using symbolic execution-Reference-Cited by-同舟云学术

Complexity vulnerability analysis using symbolic execution

Published:2020-02-06 Issue:7-8 Volume:30 Page:
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Luckow Kasper¹^ORCID,Kersten Rody²,Pasareanu Corina²³

Affiliation:

1. Carnegie Mellon University CA USA

2. Synopsys, Inc. CA USA

3. NASA Ames Research Center CA USA

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/stvr.1716

Reference33 articles.

1. C.Cadar D.Dunbar andD.Engler KLEE: Unassisted and Automatic Generation of High‐coverage Tests for Complex Systems Programs Proceedings of the 5th USENIX Symposium on Operating Systems Design and Implementation (OSDI) 2008 pp.209–224.

2. P.Godefroid N.Klarlund andK.Sen DART: Directed Automated Random Testing Proceedings of the 26th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) pp.213–223.

3. Symbolic execution and program testing

4. C. S.Paˇsaˇreanu P. C.Mehlitz D. H.Bushnell K.Gundy‐Burlet M.Lowry S.Person andM.Pape Combining Unit‐level Symbolic Execution and System‐level Concrete Execution for Testing NASA Software Proceedings of the 2008 International Symposium on Software Testing and Analysis (ISSTA) 2008 pp.15–26.

5. K.Luckow R.Kersten andC. S.Paˇsaˇreanu Symbolic Complexity Analysis Using Context‐Preserving Histories 2017 IEEE International Conference on Software Testing Verification and Validation (ICST) 2017 pp.58–68.

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

1. Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation;2023 IEEE Symposium on Security and Privacy (SP);2023-05

2. PyGuard: Finding and Understanding Vulnerabilities in Python Virtual Machines;2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE);2021-10

3. Using dynamically inferred invariants to analyze program runtime complexity;Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment;2020-11-08