Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, Peter W. O'Hearn. Finding real bugs in big programs with incorrectness logic. Proceedings of the ACM on Programming Languages, 6(OOPSLA):1-27, 2022. [doi]
@article{LeRVBDO22,
title = {Finding real bugs in big programs with incorrectness logic},
author = {Quang Loc Le and Azalea Raad and Jules Villard and Josh Berdine and Derek Dreyer and Peter W. O'Hearn},
year = {2022},
doi = {10.1145/3527325},
url = {https://doi.org/10.1145/3527325},
researchr = {https://researchr.org/publication/LeRVBDO22},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {6},
number = {OOPSLA},
pages = {1-27},
}