Login / Signup

Java Ranger: statically summarizing regions for efficient symbolic execution of Java.

Vaibhav SharmaSoha HusseinMichael W. WhalenStephen McCamantWillem Visser
Published in: ESEC/SIGSOFT FSE (2020)
Keyphrases
  • symbolic execution
  • source code
  • programming language
  • open source
  • object oriented
  • data sets
  • static analysis
  • open source java
  • database
  • decision trees
  • high level
  • simulated annealing
  • software systems