Author:
Anand Saswat,Orso Alessandro,Harrold Mary Jean
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. LeanSym: Efficient Hybrid Fuzzing Through Conservative Constraint Debloating;24th International Symposium on Research in Attacks, Intrusions and Defenses;2021-10-06
2. A survey of new trends in symbolic execution for software testing and analysis;International Journal on Software Tools for Technology Transfer;2009-08-30
3. Symbolic execution with abstraction;International Journal on Software Tools for Technology Transfer;2008-12-11
4. Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution;Programming Languages and Systems;2008