Conference
BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage
| Title: | BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage |
|---|---|
| Authors: | Krahl, Markus, Gudemann, Matthias, Wallentowitz, Stefan |
| Source: | 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) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9798331585037 9798331585044 |
|---|---|
| ISSN: | 21510849 21510830 |
| DOI: | 10.1109/ASEW67777.2025.00036 |