Krahl, M., Gudemann, M., & Wallentowitz, S. (2025). BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage. 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), Automated Software Engineering Workshops (ASEW), 2025 40th IEEE/ACM International Conference on, ASEW, 145. https://doi.org/10.1109/ASEW67777.2025.00036
Παραπομπή σε μορφή Chicago (17η εκδ.)Krahl, Markus, Matthias Gudemann, και Stefan Wallentowitz. "BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage." 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), Automated Software Engineering Workshops (ASEW), 2025 40th IEEE/ACM International Conference on, ASEW 2025: 145. https://doi.org/10.1109/ASEW67777.2025.00036.
Παραπομπή σε μορφή MLA (9th εκδ.)Krahl, Markus, et al. "BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage." 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), Automated Software Engineering Workshops (ASEW), 2025 40th IEEE/ACM International Conference on, ASEW, 2025, p. 145, https://doi.org/10.1109/ASEW67777.2025.00036.