Author:
Păsăreanu Corina S.,Visser Willem,Bushnell David,Geldenhuys Jaco,Mehlitz Peter,Rungta Neha
Publisher
Springer Science and Business Media LLC
Cited by
124 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Natural Symbolic Execution-Based Testing for Big Data Analytics;Proceedings of the ACM on Software Engineering;2024-07-12
2. Concretely Mapped Symbolic Memory Locations for Memory Error Detection;IEEE Transactions on Software Engineering;2024-07
3. Exploring Use of Symbolic Execution for Service Analysis;2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S);2024-06-24
4. BugOut: Automated Test Generation and Bug Detection for Low-Code;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27
5. State of the Art in Software Verification and Witness Validation: SV-COMP 2024;Lecture Notes in Computer Science;2024