Automatically verifying and reproducing event-based races in Android apps

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 18, 2016
Source ID
10.1145/2931037.2931069

Entities

People

  • Arash Alavi
  • Iulian Neamtiu
  • Yongjian Hu

Organizations

  • National Science Foundation
  • New Jersey Institute of Technology
  • United States Army Research Laboratory
  • University of California, Riverside