Summary Based Static Analysis for Practical Search for Defects in C Programs and Libraries

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]

Authors

Alexey Borodin

This author has not been identified. Look up 'Alexey Borodin' in Google