Conference
Research on Automatic Detection of Infeasible Paths Based on Symbolic Execution and Constraint Solving
| Τίτλος: | Research on Automatic Detection of Infeasible Paths Based on Symbolic Execution and Constraint Solving |
|---|---|
| Συγγραφείς: | Shi, Wenhao, Wang, Zeyu |
| Πηγή: | 2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C) QRS-C Software Quality, Reliability, and Security Companion (QRS-C), 2025 25th International Conference on. :721-728 Jul, 2025 |
| Relation: | 2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9781665477734 |
|---|---|
| ISSN: | 26939371 |
| DOI: | 10.1109/QRS-C65679.2025.00092 |