Fsepaper_accepted

Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, and Willem Visser. Accepted to FSE’20