Comparative Study of Symbolic Execution Tools Applied to Vulnerability Detection
| Title: | Comparative Study of Symbolic Execution Tools Applied to Vulnerability Detection |
|---|---|
| Authors: | Cardoso, Andre; Ribeiro, Oscar; Lopes, Nuno |
| Source: | 2026 14th International Symposium on Digital Forensics and Security (ISDFS) Digital Forensics and Security (ISDFS), 2026 14th International Symposium on. :1-6 Mar, 2026 |
| Relation: | 2026 14th International Symposium on Digital Forensics and Security (ISDFS) |
| Database: | IEEE Xplore Digital Library |