Test Input Generation for Programs with Pointers
Abstract elided by the publisher.
Related papers
- A General Data Dependence Test for Dynamic, Pointer-Based Data Structures PLDI 1994
- SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures ISMM 2024
- Crabtree: Rust API Test Synthesis Guided by Coverage and Type OOPSLA 2024
- From Low-Level Pointers to High-Level Containers VMCAI 2016
- Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity PLDI 2026
- Test Generation with Inputs, Outputs, and Quiescence TACAS 1996
- Eclat: Automatic Generation and Classification of Test Inputs ECOOP 2005
- A solver-aided language for test input generation OOPSLA 2017