Conference
Improving Automated Program Verification for Java Programs with Fuzzing
| Τίτλος: | Improving Automated Program Verification for Java Programs with Fuzzing |
|---|---|
| Συγγραφείς: | Hussein, Soha, McCamant, Stephen |
| Πηγή: | 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) ASEW Automated Software Engineering Workshops (ASEW), 2025 40th IEEE/ACM International Conference on. :153-160 Nov, 2025 |
| Relation: | 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!