"Systematic Testing of C++ Abstraction Recovery Systems by Iterative Compiler Model Refinement" Published at SURE 2025

Systematic Testing of C++ Abstraction Recovery Systems by Iterative Compiler Model Refinement I'm excited to announce that our paper…