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 |
| ISBN: | 9798331585037 9798331585044 |
|---|---|
| ISSN: | 21510849 21510830 |
| DOI: | 10.1109/ASEW67777.2025.00037 |