@inproceedings{mi_leansym_2021,
	title = {{LeanSym}: {Efficient} {Hybrid} {Fuzzing} {Through} {Conservative} {Constraint} {Debloating}},
	url = {https://download.vusec.net/papers/leansym_raid21.pdf},
	booktitle = {{RAID}},
	author = {Mi, Xianya and Rawat, Sanjay and Giuffrida, Cristiano and Bos, Herbert},
	month = oct,
	year = {2021},
	keywords = {class\_testing, proj\_intersect, proj\_memo, proj\_theseus, proj\_tropics, type\_conf, type\_paper, type\_top},
}

{"_id":"PKSd8FZRCkwgJzPqA","bibbaseid":"mi-rawat-giuffrida-bos-leansymefficienthybridfuzzingthroughconservativeconstraintdebloating-2021","author_short":["Mi, X.","Rawat, S.","Giuffrida, C.","Bos, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"LeanSym: Efficient Hybrid Fuzzing Through Conservative Constraint Debloating","url":"https://download.vusec.net/papers/leansym_raid21.pdf","booktitle":"RAID","author":[{"propositions":[],"lastnames":["Mi"],"firstnames":["Xianya"],"suffixes":[]},{"propositions":[],"lastnames":["Rawat"],"firstnames":["Sanjay"],"suffixes":[]},{"propositions":[],"lastnames":["Giuffrida"],"firstnames":["Cristiano"],"suffixes":[]},{"propositions":[],"lastnames":["Bos"],"firstnames":["Herbert"],"suffixes":[]}],"month":"October","year":"2021","keywords":"class_testing, proj_intersect, proj_memo, proj_theseus, proj_tropics, type_conf, type_paper, type_top","bibtex":"@inproceedings{mi_leansym_2021,\n\ttitle = {{LeanSym}: {Efficient} {Hybrid} {Fuzzing} {Through} {Conservative} {Constraint} {Debloating}},\n\turl = {https://download.vusec.net/papers/leansym_raid21.pdf},\n\tbooktitle = {{RAID}},\n\tauthor = {Mi, Xianya and Rawat, Sanjay and Giuffrida, Cristiano and Bos, Herbert},\n\tmonth = oct,\n\tyear = {2021},\n\tkeywords = {class\\_testing, proj\\_intersect, proj\\_memo, proj\\_theseus, proj\\_tropics, type\\_conf, type\\_paper, type\\_top},\n}\n\n","author_short":["Mi, X.","Rawat, S.","Giuffrida, C.","Bos, H."],"key":"mi_leansym_2021","id":"mi_leansym_2021","bibbaseid":"mi-rawat-giuffrida-bos-leansymefficienthybridfuzzingthroughconservativeconstraintdebloating-2021","role":"author","urls":{"Paper":"https://download.vusec.net/papers/leansym_raid21.pdf"},"keyword":["class_testing","proj_intersect","proj_memo","proj_theseus","proj_tropics","type_conf","type_paper","type_top"],"metadata":{"authorlinks":{}},"downloads":41},"bibtype":"inproceedings","biburl":"https://download.vusec.net/papers/zotero.php?tag=&full=1&format=bibtex&sort=date","dataSources":["29vmPL96yitMW4wvm","JWcaY4xDbjG3msjWc","eCpiGao5EnGQ4DAae","Mv6ehSigpWNeEseEd","M2Mt9WaG853nFZTaQ","hSAiLoReyH5vQZbuo","32KKWtGJu7SSzB64u","L7FP8s8TQAiQFmr64","cCFT2dQoNmvA9cGsg","EvThddwxhXnn67kfA","Qthyg2BoQBmJAgNNw","6t3E4mrSssDkvaRSL","z8bzCztinospzN9Xd","8hbkfk9WWWjcsroig","LkcLuv5ivzocAyTSt","uFHHx7fmesErCKr9Q","EkDQznmWECGiHjLjt","LY5xkJFgS2sBQ9umB","cEmMXPermWEFsgmMR","hLN7y23EHpXeje6YX","7jKWLcMEQyj34TAfx","RxMwrZc9fA5syBGDG"],"keywords":["class_testing","proj_intersect","proj_memo","proj_theseus","proj_tropics","type_conf","type_paper","type_top"],"search_terms":["leansym","efficient","hybrid","fuzzing","through","conservative","constraint","debloating","mi","rawat","giuffrida","bos"],"title":"LeanSym: Efficient Hybrid Fuzzing Through Conservative Constraint Debloating","year":2021,"downloads":41}