Learning a Strategy for Choosing Widening Thresholds from a Large Codebase
No abstract available.
Related papers
- Learning a strategy for adapting a program analysis via bayesian optimisation OOPSLA 2015
- Adaptive Static Analysis via Learning with Bayesian Optimization TOPLAS 2018
- A static analyzer for large safety-critical software PLDI 2003
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Probabilistic model for code with decision trees OOPSLA 2016
- POSTER: Automated Load Balancer Selection Based on Application Characteristics PPoPP 2017
- Proof-Guided Underapproximation Widening for Bounded Model Checking CAV 2022
- Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution) TACAS 2025