Finding real bugs in big programs with incorrectness logic

Open Webpage

Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, Peter W. O'Hearn

Published: 01 Jan 2022, Last Modified: 16 May 2025Proc. ACM Program. Lang. 2022EveryoneRevisionsBibTeXCC BY-SA 4.0