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