Automated Bug Hunting With Data-Driven Symbolic Root Cause Analysis

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 12, 2021
Source ID
10.1145/3460120.3485363

Entities

People

  • Brendan Saltaformaggio
  • Carter Yagemann
  • Simon P. Chung
  • Wenke Lee

Organizations

  • Defense Advanced Research Projects Agency
  • Georgia Tech
  • Office of Naval Research