APA (7th ed.) Citation

Hussein, S., & McCamant, S. (2025). Improving Automated Program Verification for Java Programs with Fuzzing. 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, 153. https://doi.org/10.1109/ASEW67777.2025.00037

Chicago Style (17th ed.) Citation

Hussein, Soha, and Stephen McCamant. "Improving Automated Program Verification for Java Programs with Fuzzing." 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: 153. https://doi.org/10.1109/ASEW67777.2025.00037.

MLA (9th ed.) Citation

Hussein, Soha, and Stephen McCamant. "Improving Automated Program Verification for Java Programs with Fuzzing." 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. 153, https://doi.org/10.1109/ASEW67777.2025.00037.