Learning a static analyzer from data

DOI10.1007/978-3-319-63387-9_12zbMath1494.68050arXiv1611.01752OpenAlexW2552878490MaRDI QIDQ2151252

Martin Vechev, Veselin Raychev, Pavol Bielik

Publication date: 1 July 2022

Full work available at URL: https://arxiv.org/abs/1611.01752

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Automatic synthesis of data-flow analyzers

This page was built for publication: Learning a static analyzer from data