Login / Signup
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement.
Stelios Sidiroglou-Douskos
Eric Lahtinen
Nathan Rittenhouse
Paolo Piselli
Fan Long
Deokhwan Kim
Martin C. Rinard
Published in:
ASPLOS (2015)
Keyphrases
</>
goal directed
automated planning
semi automatic
autonomous robots
fully automatic
random field model
neural network
autonomous learning
real time
data mining
machine learning
data analysis
knowledge discovery
knowledge acquisition