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

Over-approximation

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