Sign in

JBSE: a symbolic executor for Java programs with complex heap inputs.

Pietro BraioneGiovanni DenaroMauro Pezzè
Published in: SIGSOFT FSE (2016)
Keyphrases
  • java programs
  • high level
  • data structure
  • information systems
  • software components
  • test case generation