Location of the minimal abstractions over the training programs

[Jisuk Byun]

[Minseok Jeon]

The minimal abstractions are in Ctx_Sensitivity/oracles and Heap_Abstraction/oracles.