Automatic Generation of Debug Headers through BlackBox Equivalence Checking. - Vaibhav Kiran Kurhe; Pratik Karia; Shubhani Gupta; Abhishek Rose; Sorav Bansal (CGO, 2022)