{"_id":"vB35duFCHKmTCC7Wj","bibbaseid":"anonymous-veripatchsafeandautomaticpatchgeneration-2022","bibdata":{"bibtype":"misc","type":"misc","title":"VeriPatch: Safe and Automatic Patch Generation","year":"2022","note":"EZK (4 Years)","keywords":"type_ekz, type_grant","bibtex":"@misc{noauthor_veripatch_2022,\n\ttitle = {{VeriPatch}: {Safe} and {Automatic} {Patch} {Generation}},\n\tyear = {2022},\n\tnote = {EZK (4 Years)},\n\tkeywords = {type\\_ekz, type\\_grant},\n}\n\n","key":"noauthor_veripatch_2022","id":"noauthor_veripatch_2022","bibbaseid":"anonymous-veripatchsafeandautomaticpatchgeneration-2022","role":"","urls":{},"keyword":["type_ekz","type_grant"],"metadata":{"authorlinks":{}}},"bibtype":"misc","biburl":"https://download.vusec.net/papers/zotero.php?tag=&full=1&format=bibtex&sort=date","dataSources":["dNKhsrWu9W9yP6icw","GSX3TbsnoiJWh9LCv","JWcaY4xDbjG3msjWc","NB57bojGNo9dTTvq7","L7FP8s8TQAiQFmr64","cCFT2dQoNmvA9cGsg","EvThddwxhXnn67kfA","J6oTyx552zgbFRKdi","cEmMXPermWEFsgmMR","LY5xkJFgS2sBQ9umB"],"keywords":["type_ekz","type_grant"],"search_terms":["veripatch","safe","automatic","patch","generation"],"title":"VeriPatch: Safe and Automatic Patch Generation","year":2022}