@inbook{zhou-2025-cazamariposas, title={Cazamariposas: Automated Instability Debugging in SMT-Based Program Verification}, ISBN={9783031999840}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-99984-0_5}, DOI={10.1007/978-3-031-99984-0_5}, booktitle={Automated Deduction – CADE 30}, publisher={Springer Nature Switzerland}, author={Zhou, Yi and Shah, Amar and Lin, Zhengyao and Heule, Marijn J. H. and Parno, Bryan}, year={2025}, pages={75–94} }