Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Symbolic execution

Known as: Symbolic, Symbolic evaluation 
In computer science, symbolic execution (also symbolic evaluation) is a means of analyzing a program to determine what inputs cause each part of a… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Many security and software testing applications require checking whether certain properties of a program hold for any possible… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2013
Highly Cited
2013
The challenges---and great promise---of modern symbolic execution techniques, and the tools to help implement them. 
  • figure 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example… Expand
  • table I
  • figure 2
  • figure 1
  • figure 3
  • table II
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We discuss how to perform symbolic execution of large programs in a manner that is both compositional (hence more scalable) and… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Detecting and characterizing the effects of software changes is a fundamental component of software maintenance. Version… Expand
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 3.1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Modern software systems, which often are concurrent and manipulate complex data structures must be extremely reliable. We present… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1976
Highly Cited
1976
This paper describes the symbolic execution of programs. Instead of supplying the normal inputs to a program (e.g. numbers) one… Expand
  • figure 2
  • figure 3
  • figure 5
  • figure 6
  • figure 9
Is this relevant?
Highly Cited
1975
Highly Cited
1975
SELECT is an experimental system for assisting in the formal systematic debugging of programs. It is intended to be a compromise… Expand
Is this relevant?