Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
Abstract elided by the publisher.
Related papers
- Sound Non-Statistical Clustering of Static Analysis Alarms TOPLAS 2017
- Mopsa-C: Towards Incorrectness and Termination Verdicts (Competition Contribution) TACAS 2026
- Hybrid DOM-Sensitive Change Impact Analysis for JavaScript ECOOP 2015
- Assessing the Quality of Binomial Samplers: A Statistical Distance Framework CAV 2025
- Using web corpus statistics for program analysis OOPSLA 2014
- Adding approximate counters PPoPP 2016
- CheckCell: data debugging for spreadsheets OOPSLA 2014
- Sound Non-statistical Clustering of Static Analysis Alarms VMCAI 2012