Login / Signup
JBSE: a symbolic executor for Java programs with complex heap inputs.
Pietro Braione
Giovanni Denaro
Mauro Pezzè
Published in:
SIGSOFT FSE (2016)
Keyphrases
</>
java programs
high level
data structure
information systems
software components
test case generation