Failure-directed program trimming

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 21, 2017
Source ID
10.1145/3106237.3106249

Entities

People

  • Işıl Dillig
  • Kostas Ferles
  • Maria Christakis
  • Valentin Wüstholz

Organizations

  • Air Force Research Laboratory
  • National Science Foundation
  • University of Kent
  • University of Texas at Austin