Conference
BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage
| Τίτλος: | BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage |
|---|---|
| Συγγραφείς: | Krahl, Markus, Gudemann, Matthias, Wallentowitz, Stefan |
| Πηγή: | 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. :145-152 Nov, 2025 |
| Relation: | 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!