Login / Signup
Validating Converted Java Code via Symbolic Execution.
Harry M. Sneed
Chris Verhoef
Published in:
SWQD (2017)
Keyphrases
</>
symbolic execution
java code
source code
static analysis
open source
software systems
software projects
specification language
test generation
development tools
test data generation
byte code
information systems
artificial intelligence
training set
end users