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

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 07, 2020
Source ID
10.1145/3368089.3409734

Entities

People

  • Michael W. Whalen
  • Soha Hussein
  • Stephen Mccamant
  • Vaibhav Sharma
  • Willem Visser

Organizations

  • National Science Foundation
  • Office of Naval Research
  • Stellenbosch University
  • University of Minnesota