We would like to feature recent papers on @Java_Pathfinder The following paper was presented at the AST conference, co-located with #ICSE2023 conf.researchr.org/details/ast-20… Congrats to the authors! Fun fact - the paper started as a JPF GSoC project in 2020!
0
0
1
134
0