Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,392,577 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
2010
2010
Path Directed Symbolic Execution in the K Framework
I. Asavoae
,
Mihail Asavoae
,
D. Lucanu
12th International Symposium on Symbolic and…
2010
Corpus ID: 16701073
The K framework is a rewrite-based executable semantic framework built with the purpose to define programming languages and…
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
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
2004
2004
A symbolic Java virtual machine for test case generation
R. Müller
,
C. Lembeck
,
H. Kuchen
IASTED Conf. on Software Engineering
2004
Corpus ID: 2459781
Quality management is becoming a more and more important part of the software development process. As software testing is…
Expand
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
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