OBRA: Oracle-Based, Relational, Algorithmic Type Verification
No abstract available.
DOI 10.1007/978-981-97-8943-6_14
Related papers
- Satisfiability and Synthesis Modulo Oracles VMCAI 2022
- Intramorphic Testing: A New Approach to the Test Oracle Problem Onward! 2022
- A security policy oracle: detecting security holes using multiple API implementations PLDI 2011
- Higher order functions and Brouwer's thesis JFP 2021
- Higher-order probabilistic adversarial computations: categorical semantics and program logics ICFP 2021
- HOLL: Program Synthesis for Higher Order Logic Locking TACAS 2022
- Local Search with a SAT Oracle for Combinatorial Optimization TACAS 2021
- Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles OOPSLA 2025