Automated Bug Hunting With Data-Driven Symbolic Root Cause Analysis.

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

Browse the full CCS paper archive.