Author:
Person Suzette,Dwyer Matthew B.,Elbaum Sebastian,Pǎsǎreanu Corina S.
Cited by
135 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Oracle-Guided Program Selection from Large Language Models;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. PASDA: A partition-based semantic differencing approach with best effort classification of undecided cases;Journal of Systems and Software;2024-07
3. ParDiff: Practical Static Differential Analysis of Network Protocol Parsers;Proceedings of the ACM on Programming Languages;2024-04-29
4. Aiding Developer Understanding of Software Changes via Symbolic Execution-based Semantic Differencing;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14
5. Strengthening Supply Chain Security with Fine-grained Safe Patch Identification;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12