Keyword:automated oracles

Publications
EasyChair Preprint 811