Cited By
View all- Copia JPonzio PAguirre NGorla AFrias M(2022)LISSA: Lazy Initialization with Specialized Solver AidProceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering10.1145/3551349.3556965(1-12)Online publication date: 10-Oct-2022
- Le QRaad AVillard JBerdine JDreyer DO'Hearn P(2022)Finding real bugs in big programs with incorrectness logicProceedings of the ACM on Programming Languages10.1145/35273256:OOPSLA1(1-27)Online publication date: 29-Apr-2022
- Utture ALiu SKalhauge CPalsberg JDwyer MDamian DZeller A(2022)Striking a balanceProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510166(2043-2055)Online publication date: 21-May-2022
- Show More Cited By