标题
A Survey of Symbolic Execution Techniques
作者
关键词
-
出版物
ACM COMPUTING SURVEYS
Volume 51, Issue 3, Pages 1-39
出版商
Association for Computing Machinery (ACM)
发表日期
2018-05-23
DOI
10.1145/3182657
参考文献
相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。- Dependence Guided Symbolic Execution
- (2017) Haijun Wang et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
- (2015) Juan P. Galeotti et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- BLISS: Improved Symbolic Execution by\\ Bounded Lazy Initialization with SAT Support
- (2015) Nicolas Rosner et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- An empirical investigation into path divergences for concolic execution using CREST
- (2015) Ting Chen et al. Security and Communication Networks
- Loop invariants
- (2014) Carlo A. Furia et al. ACM COMPUTING SURVEYS
- Directed Incremental Symbolic Execution
- (2014) Guowei Yang et al. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
- Path exploration based on symbolic output
- (2013) Dawei Qi et al. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
- Symbolic execution for software testing
- (2013) Cristian Cadar et al. COMMUNICATIONS OF THE ACM
- The S2E Platform
- (2012) Vitaly Chipounov et al. ACM TRANSACTIONS ON COMPUTER SYSTEMS
- State of the art: Dynamic symbolic execution for automated test generation
- (2012) Ting Chen et al. Future Generation Computer Systems-The International Journal of eScience
- Efficient and formal generalized symbolic execution
- (2011) Xianghua Deng et al. Automated Software Engineering
- Satisfiability modulo theories
- (2011) Leonardo De Moura et al. COMMUNICATIONS OF THE ACM
- Compositional Shape Analysis by Means of Bi-Abduction
- (2011) Cristiano Calcagno et al. JOURNAL OF THE ACM
- A survey of new trends in symbolic execution for software testing and analysis
- (2009) Corina S. Păsăreanu et al. International Journal on Software Tools for Technology Transfer
- Symbolic execution with abstraction
- (2008) Saswat Anand et al. International Journal on Software Tools for Technology Transfer
Publish scientific posters with Peeref
Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.
Learn MoreAdd your recorded webinar
Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.
Upload Now