Learning a Strategy for Choosing Widening Thresholds from a Large Codebase

DOI10.1007/978-3-319-47958-3_2zbMath1483.68094OpenAlexW2528156071MaRDI QIDQ3179275

Sehun Jeong, Hakjoo Oh, Sooyoung Cha

Publication date: 21 December 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-47958-3_2

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of software (68N99)

Uses Software

• ASTREE
• Sparrow

Cites Work

• Unnamed Item
• Acceleration of the abstract fixpoint computation in numerical program analysis
• Why does Astrée scale up?
• Abstraction refinement guided by a learnt probabilistic model
• Widening with Thresholds for Programs with Complex Control Graphs
• A Data Driven Approach for Algebraic Loop Invariants

This page was built for publication: Learning a Strategy for Choosing Widening Thresholds from a Large Codebase