@inproceedings{kiss:cea-01834981, TITLE = {{Combining static and dynamic analyses for vulnerability detection: Illustration on heartbleed}}, AUTHOR = {Kiss, B. and Kosmatov, N. and Pariente, D. and Puccetti, A.}, URL = {https://cea.hal.science/cea-01834981}, NOTE = {Conference of 11th International Haifa Verification Conference, HVC 2015 ; Conference Date: 17 November 2015 Through 19 November 2015; Conference Code:154279}, BOOKTITLE = {{Hardware and Software: Verification and Testing. HVC 2015. Lecture Notes in Computer Science}}, ADDRESS = {Haifa, Israel}, EDITOR = {Piterman N.}, PUBLISHER = {{Springer Verlag}}, VOLUME = {9434}, PAGES = {39-50}, YEAR = {2015}, MONTH = Nov, DOI = {10.1007/978-3-319-26287-1\_3}, KEYWORDS = {Software testing ; Static analysis ; Verification ; Flinder ; Fuzzing ; Heartbleed ; Program slicing ; Vulnerability detection ; C (programming language)}, HAL_ID = {cea-01834981}, HAL_VERSION = {v1}, }