Cited By
View all- Sarker LBultan TFilkov VRay BZhou M(2024)Quantitative Symbolic Non-Equivalence AnalysisProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695324(2452-2453)Online publication date: 27-Oct-2024
- Postolski IBraberman VGarbervetsky DUchitel Sd'Amorim M(2024)Verification of Programs with Common FragmentsCompanion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering10.1145/3663529.3663783(487-491)Online publication date: 10-Jul-2024
- Fan ZRuan HMechtaev SRoychoudhury AChristakis MPradel M(2024)Oracle-Guided Program Selection from Large Language ModelsProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3680308(628-640)Online publication date: 11-Sep-2024
- Show More Cited By