- Home
- Publications
- Publication Search
- Publication Details
Title
A Survey of Symbolic Execution Techniques
Authors
Keywords
-
Journal
ACM COMPUTING SURVEYS
Volume 51, Issue 3, Pages 1-39
Publisher
Association for Computing Machinery (ACM)
Online
2018-05-23
DOI
10.1145/3182657
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- 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
Find the ideal target journal for your manuscript
Explore over 38,000 international journals covering a vast array of academic fields.
SearchAdd 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