Effective Search Space Pruning for Testing Deep Neural Networks
Abstract elided by the publisher.
Related papers
- Feature-Guided Black-Box Safety Testing of Deep Neural Networks TACAS 2018
- Solving PBQP-Based Register Allocation using Deep Reinforcement Learning CGO 2022
- Wootz: a compiler-based framework for fast CNN pruning via composability PLDI 2019
- The Marabou Framework for Verification and Analysis of Deep Neural Networks CAV 2019
- Neural architecture search using property guided synthesis OOPSLA 2022
- Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing OOPSLA 2025
- Safety Verification of Deep Neural Networks CAV 2017
- Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints CAV 2015