Automatic Generation of Debug Headers through BlackBox Equivalence Checking.

Vaibhav Kiran Kurhe, Pratik Karia, Shubhani Gupta, Abhishek Rose, Sorav Bansal

Browse the full CGO paper archive.