NDSS

Short Paper: Declarative Demand-Driven Reverse Engineering