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.
Highly Cited
2016
Highly Cited
2016
Memory corruption vulnerabilities are an everpresent risk in software, which attackers can exploit to obtain unauthorized access… Expand
  • table II
  • table IV
  • table III
  • figure 11
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
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
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
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
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
Highly Cited
2007
Highly Cited
2007
We present JPF-SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java… Expand
  • figure 1
  • table 1
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
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
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