Black Box Unfolding with Local First Search
No abstract available.
Related papers
- Feature-Guided Black-Box Safety Testing of Deep Neural Networks TACAS 2018
- Improved error reporting for software that uses black-box components PLDI 2007
- Lightweight and Locality-Aware Composition of Black-Box Subroutines PLDI 2025
- Systematic black-box analysis of collaborative web applications PLDI 2017
- Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels OOPSLA 2024
- Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation OOPSLA 2025
- Probabilistic Verification for "Black-Box" Systems CAV 2005
- Black-Box Equivalence Checking Across Compiler Optimizations APLAS 2017