Brett Benyo, Shane S. Clark, Aaron Paulos, Partha P. Pal. HYDRA: Hypothesis Driven Repair Automation. In Sebastian Doerr, Mathias Fischer, Sebastian Schrittwieser, Dominik Herrmann, editors, Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, Hamburg, Germany, August 27-30, 2018. ACM, 2018. [doi]
Abstract is missing.