Login / Signup
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say.
Devin Coughlin
Bor-Yuh Evan Chang
Amer Diwan
Jeremy G. Siek
Published in:
ISSTA (2012)
Keyphrases
</>
intermediate level
high level
computer programs
image interpretation
website
access control
low level
object oriented
operating system
relational databases
information technology
semantic interpretation
inference process
database systems
automatic programming
connectionist models
provably correct
windows xp