Incorrectness logic [Google Scholar] Papers related to Incorrectness logic Incorrectness logic [ohearn:popl:2019] Covering all the bases: Type-based verification of test input generators [zhou:pldi:2023]