Vaibhav Kiran Kurhe, Pratik Karia, Shubhani Gupta, Abhishek Rose, Sorav Bansal. Automatic Generation of Debug Headers through BlackBox Equivalence Checking. In Jae W. Lee, Sebastian Hack, Tatiana Shpeisman, editors, IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2022, Seoul, Korea, Republic of, April 2-6, 2022. pages 144-154, IEEE, 2022. [doi]
Abstract is missing.