Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,110,479 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
VeriFast: Imperative Programs as Proofs
B. Jacobs
,
Jan Smans
,
Frank Piessens
2010
Corpus ID: 759671
This paper describes the VeriFast prototype program verification tool, which implements a separation-logic-based approach for the…
Expand
2009
2009
Distributed parallel symbolic execution
A. King
2009
Corpus ID: 61688013
Software defects cost our economy a significant amount of money. Techniques that can detect software defects before the software…
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
Highly Cited
2007
Highly Cited
2007
Abstracting Symbolic Execution with String Analysis
Daryl Shannon
,
Sukant Hajra
,
Alison Lee
,
Daiqian Zhan
,
S. Khurshid
Testing: Academic and Industrial Conference…
2007
Corpus ID: 15720360
Forward symbolic execution is a technique for program analysis that explores the execution paths of a program by maintaining a…
Expand
2003
2003
Symbolic User-Defined Periodicity in Temporal Relational Databases
P. Terenziani
IEEE Transactions on Knowledge and Data…
2003
Corpus ID: 24292884
Calendars and periodicity play a fundamental role in many applications. Recently, some commercial databases started to support…
Expand
1993
1993
Determining Possible Event Orders by Analyzing Sequential Traces
D. Helmbold
,
C. McDowell
,
Jian-Zhong Wang
IEEE Trans. Parallel Distributed Syst.
1993
Corpus ID: 8322213
One of the fundamental problems encountered when debugging a parallel program is determining the possible orders in which events…
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
1981
1981
Program reduction using symbolic execution
J. King
SOEN
1981
Corpus ID: 21072467
By "program reduction" we mean making a program simpler according to some measure. For the narrow purposes here, that measure is…
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