Syntax-Guided Automated Program Repair for Hyperproperties.

Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner

Browse the full CAV paper archive.