A Quick Repair Facility for Debugging.

Steven P. Reiss Qi Xin

Published in: CoRR (2022)

Keyphrases

consistent query answering
failure rate
hardware designs
real time
np hard
fault localization
optimal location
execution traces
abdominal aortic aneurysm