A Aralex Aachen research explorer

November 16, 2025 conference-paper

Improving Automated Program Verification for Java Programs with Fuzzing

IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW)

DOI: 10.1109/asew67777.2025.00037 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 1

References 1

AProVE: Non-Termination Witnesses for C Programs
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

10

citations

1 result