Keyword:automated oracles

Papers
EasyChair Preprint no. 811