Login / Signup
A Stack Memory Abstraction and Symbolic Analysis Framework for Executables.
Kapil Anand
Khaled Elwazeer
Aparna Kotha
Matthew Smithson
Rajeev Barua
Angelos D. Keromytis
Published in:
ACM Trans. Softw. Eng. Methodol. (2016)
Keyphrases
</>
main contribution
high level
databases
theoretical framework
data sets
complexity analysis
conceptual framework
probabilistic model
decision theoretic planning
database
analysis tool
computational model
statistical analysis
state space
multi agent
image processing
decision making
neural network