Treffer: Improving Automated Program Verification for Java Programs with Fuzzing
Title:
Improving Automated Program Verification for Java Programs with Fuzzing
Authors:
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. :153-160 Nov, 2025
Relation:
2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW)
Database:
IEEE Xplore Digital Library