Specification Mining with Few False Positives
Abstract elided by the publisher.
Related papers
- Mining the Ecosystem to Improve Type Inference for Dynamically Typed Languages Onward! 2014
- Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs PLDI 2002
- Memory-Safety Verification of Open Programs with Angelic Assumptions OOPSLA 2025
- Learning to find naming issues with big code and small supervision PLDI 2021
- Scalable race detection for Android applications OOPSLA 2015
- Gradual Program Analysis for Null Pointers ECOOP 2021
- Certifying Certainty and Uncertainty in Approximate Membership Query Structures CAV 2020
- Statistical similarity of binaries PLDI 2016