Boxes: A Symbolic Abstract Domain of Boxes
Abstract elided by the publisher.
Related papers
- Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage TACAS 2024
- A Distributed Abstract Machine for Boxed Ambient Calculi ESOP 2004
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models OOPSLA 2024
- Building white-box abstractions by program refinement Onward! 2016
- Integrating Information Retrieval and Domain Specific Approaches for Browsing and Retrieval in Object-Oriented Class Libraries OOPSLA 1991
- A Framework for Run-Time Systems and its Visual Programming Language OOPSLA 1996
- Lightweight and Locality-Aware Composition of Black-Box Subroutines PLDI 2025
- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution) TACAS 2023