Author:
Chaudhuri Swarat,Gulwani Sumit,Lublinerman Roberto
Cited by
67 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equivalence and Similarity Refutation for Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-06-20
2. Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation;ACM Transactions on Programming Languages and Systems;2024-04-27
3. Robust computation tree logic;Innovations in Systems and Software Engineering;2024-03-20
4. Monotonicity and the Precision of Program Analysis;Proceedings of the ACM on Programming Languages;2024-01-05
5. Revisiting Neural Program Smoothing for Fuzzing;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30