## Notes related to Incorrectness logic

## Papers related to Incorrectness logic

- Covering all the bases: Type-based verification of test input generators [zhou:pldi:2023]

Interesting papers

[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

Association for Computing Machinery

New York, NY, USA

December 2019

Note(s): under-approximation, Incorrectness logic

Papers: godefroid:bugs:2005

- Covering all the bases: Type-based verification of test input generators [zhou:pldi:2023]

The opinions expressed are my own views and not my employer’s.