Pages that link to "Item:Q2828290"
From MaRDI portal
The following pages link to Abstraction refinement guided by a learnt probabilistic model (Q2828290):
Displaying 3 items.
- Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses (Q1791273) (← links)
- Learning a Strategy for Choosing Widening Thresholds from a Large Codebase (Q3179275) (← links)
- Rethinking static analysis by combining discrete and continuous reasoning (Q6536275) (← links)
