@misc{indiciaeb0ef14b96f5b, title = {On Distribution Shift in Learning-based Bug Detectors}, author = {Jingxuan He and Luca Beurer-Kellner and Martin Vechev}, year = {2022}, url = {https://arxiv.org/abs/2204.10049}, note = {Source identifier: 2204.10049} }