Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,822,656 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.
2018
2018
Unsupervised Features Extraction for Binary Similarity Using Graph Embedding Neural Networks
R. Baldoni
,
Giuseppe Antonio Di Luna
,
Luca Massarelli
,
F. Petroni
,
Leonardo Querzoni
arXiv.org
2018
Corpus ID: 53036617
In this paper we consider the binary similarity problem that consists in determining if two binary functions are similar only…
Expand
2013
2013
Symbolic Execution and Program Loops
Marek Trtík
2013
Corpus ID: 63946866
definovane adresy, obsahujici nějake vstupni symboly. Tato nejednoznacnost je pravě zdrojem celeho problemu. V disertaci dale p…
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
Symbolic Execution for GUI Testing
S. Ganov
2007
Corpus ID: 2107673
A Graphical User Interface (GUI) is an abstraction providing users with a more natural way of interacting with computers. It…
Expand
2000
2000
Algorithm for Symbolic Design of Elliptic Filters
M. Lutovac
,
D. To
,
B. Evans
2000
Corpus ID: 16492955
1996
1996
Verification Using Uninterpreted Functions and Finite Instantiations
R. Hojati
,
Adrian J. Isles
,
D. Kirkpatrick
,
R. Brayton
Formal Methods in Computer-Aided Design
1996
Corpus ID: 8106847
One approach to address the state explosion problem in verification of microprocessors with wide datapaths is to model variables…
Expand
1996
1996
Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus
O. Sokolsky
1996
Corpus ID: 17828895
of the Dissertation E cient Graph-Based Algorithms for Model Checking in the Modal Mu-Calculus by Oleg Sokolsky Doctor of…
Expand
1985
1985
Symbolic Execution in Algorithm Design
D. Steier
,
E. Kant
International Joint Conference on Artificial…
1985
Corpus ID: 6461422
Symbolic execution of partial algorithm descriptions is a powerful method of guiding the algorithm design process (as is borne…
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
1976
1976
A Problem-Reduction Approach to Proving Simulation Between Programs
A. Birman
,
W. Joyner
IEEE Transactions on Software Engineering
1976
Corpus ID: 14073624
System correctness often presents itself as the problem of showing that two programs, the "specification" and the "implementation…
Expand