Automatic Testing of Higher Order Functions
Abstract elided by the publisher.
Related papers
- Test generation for higher-order functions in dynamic languages OOPSLA 2018
- Predicate abstraction and CEGAR for higher-order model checking PLDI 2011
- Crabtree: Rust API Test Synthesis Guided by Coverage and Type OOPSLA 2024
- Random testing of a higher-order blockchain language (experience report) ICFP 2022
- Higher-order test generation PLDI 2011
- Automatic Termination Verification for Higher-Order Functional Programs ESOP 2014
- Sound and Complete Concolic Testing for Higher-order Functions ESOP 2021
- TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language SAS 1997