Alexey Borodin. Summary Based Static Analysis for Practical Search for Defects in C Programs and Libraries. In 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA. pages 231-232, IEEE Computer Society, 2014. [doi]
@inproceedings{Borodin14,
title = {Summary Based Static Analysis for Practical Search for Defects in C Programs and Libraries},
author = {Alexey Borodin},
year = {2014},
doi = {10.1109/ICSTW.2014.60},
url = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2014.60},
researchr = {https://researchr.org/publication/Borodin14},
cites = {0},
citedby = {0},
pages = {231-232},
booktitle = {2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-5194-4},
}