Incorrectness logic Peter W. O'Hearn [doi] [Google Scholar] [DBLP] [Citeseer] [url] Proc. ACM Program. Lang. 4(POPL) Association for Computing Machinery New York, NY, USA December 2019 Note(s): under-approximation, Incorrectness logic Papers: godefroid:bugs:2005 Notes related to Incorrectness logic Over-approximation Papers related to Incorrectness logic Covering all the bases: Type-based verification of test input generators [zhou:pldi:2023]