Function Summarization Modulo Theories

Proceedings paper

Title:

Authors:

S. Asadi, M. Blicha, G. Fedyukovich, A. Hyvärinen, K. Even-Mendoza, N. Sharygina, H. Chockler

Publication:

LPAR-22

DOI:

10.29007/d3bt

Year:

2018

Link:

https://easychair.org/publications/paper/nNLJ

BibTeX:

@inproceedings{asadi_function_2018,
    title = {{Function Summarization Modulo Theories}},
    author = {Asadi, Sepideh and Blicha, Martin and Fedyukovich, Grigory and Hyvärinen, Antti and Even-Mendoza, Karine and Sharygina, Natasha and Chockler, Hana},
    year = {2018},
    booktitle = {{LPAR-22}},
    publisher = {EasyChair},
    series = {{EPiC Series in Computing}},
    doi = {10.29007/d3bt},
    pages = {56--75},
    url = {https://easychair.org/publications/paper/nNLJ},
    volume = {57},
}