Staged symbolic execution

Document Details

Document Type
Pub Defense Publication
Publication Date
Mar 26, 2012
Source ID
10.1145/2245276.2231988

Entities

People

  • Junaid Haroon Siddiqui
  • Sarfraz Khurshid

Organizations

  • Air Force Office of Scientific Research
  • Division of Computing and Communication Foundations
  • Division of Information and Intelligent Systems
  • University of Texas at Austin