BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment

Proceedings paper

Title:

Authors:

P. Parízek

Publication:

Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)

DOI:

10.1007/978-3-030-31784-3_13

Year:

2019

Link:

https://doi.org/10.1007/978-3-030-31784-3_13

BibTeX:

@inproceedings{parizek_buben_2019,
    title = {{BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment}},
    author = {Parízek, Pavel},
    year = {2019},
    booktitle = {{Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)}},
    publisher = {Springer},
    doi = {10.1007/978-3-030-31784-3_13},
    pages = {228--245},
    url = {https://doi.org/10.1007/978-3-030-31784-3_13},
}