Login / Signup
Automatically Generating Malicious Disks using Symbolic Execution.
Junfeng Yang
Can Sar
Paul Twohey
Cristian Cadar
Dawson R. Engler
Published in:
IEEE Symposium on Security and Privacy (2006)
Keyphrases
</>
automatically generating
symbolic execution
test data generation
static analysis
test generation
specification language
source code
automatically generated
data flow
simulated annealing algorithm
data sets
open source
test cases
software systems
english words