Learning a Static Analyzer from Data

Thumbnail
Metadata only
Author
Bielik, Pavol
Raychev, Veselin
Vechev, Martin
Date
2017-07
Type
    Conference Paper
Publication status
published
External links
Editor
Majumdar, Rupak
Kunčak, Viktor
Book title
Computer Aided Verification, Proceedings Part I
Journal / series
Lecture Notes in Computer Science
Volume
10426
Pages / Article No.
233 - 253
Publisher
Springer
Event
29th International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 24-28, 2017
Organisational unit
03948 - Vechev, Martin / Vechev, Martin  
Related publications and datasets
More
Show all metadata
Citations
Cited 11 times in Web of Science
ETH Bibliography
yes
Altmetrics