Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,402,817 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
16 relations
.NET Framework
Computer science
Concolic testing
Dynamic program analysis
Expand
Broader (1)
Abstract interpretation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Dynamically Translating x86 to LLVM using QEMU
Vitaly Chipounov
,
George Candea
2010
Corpus ID: 15940038
QEMU [1] is a system emulator that can run unmodifiedguest operating systems on a host OS, where the guestand host CPU…
Expand
2008
2008
Computing WCET using symbolic execution
Bilel Benhamamouch
,
B. Monsuez
,
Franck Védrine
2008
Corpus ID: 18176801
We propose a novel formal method to compute an upper estimation of the WCET that contains the loss of precision and also can be…
Expand
2007
2007
Finding Inputs that Reach a Target Expression
Matthew Naylor
,
C. Runciman
IEEE Working Conference on Source Code Analysis…
2007
Corpus ID: 857783
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked…
Expand
2007
2007
Efficient accelero-summation of holonomic functions
J. Hoeven
Journal of symbolic computation
2007
Corpus ID: 26875228
Highly Cited
2006
Highly Cited
2006
Symbolic Execution Techniques for Test Purpose Definition
Christophe Gaston
,
P. L. Gall
,
Nicolas Rapin
,
A. Touil
International Conference on Testing (of Software…
2006
Corpus ID: 16470772
We propose an approach to test whether a system conforms to its specification given in terms of an Input/Output Symbolic…
Expand
2001
2001
Automated complexity analysis of Nuprl extracted programs
Ralph Benzinger
Journal of functional programming
2001
Corpus ID: 62710788
This paper describes the Automated Complexity Analysis Prototype (ACAp) system for automated complexity analysis of functional…
Expand
1984
1984
Backward Symbolic Execution of Protocols
G. Holzmann
Protocol Specification, Testing and Verification
1984
Corpus ID: 12728431
A traditional method to validate protocols by state space exploration is to use forward symbolic execution. One of the main…
Expand
1983
1983
Symbolic Execution of the Gist Specification Language
D. Cohen
International Joint Conference on Artificial…
1983
Corpus ID: 2723970
Symbolic execution can help clarify the behavior implied by a program specification without implementing that specification, and…
Expand
Highly Cited
1981
Highly Cited
1981
A partition analysis method to increase program reliability
D. Richardson
,
L. Clarke
International Conference on Software Engineering
1981
Corpus ID: 18061014
A major drawback of most program testing methods is that they ignore program specifications, and instead base their analysis…
Expand
Highly Cited
1978
Highly Cited
1978
An evaluation of the effectiveness of symbolic testing
W. Howden
Software, Practice & Experience
1978
Corpus ID: 14930958
The effectiveness in discovering errors of symbolic evaluation and of testing sad static program analysis are studied. The three…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE