Login / Signup
SymJEx: symbolic execution on the GraalVM.
Sebastian Kloibhofer
Thomas Pointhuber
Maximilian Heisinger
Hanspeter Mössenböck
Lukas Stadler
David Leopoldseder
Published in:
MPLR (2020)
Keyphrases
</>
symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
test cases
formal specification
real world
evolutionary algorithm
programming language
open source
software development
description language