Skip to content

SANER 2025 release

Latest
Latest

Choose a tag to compare

View all tags
@iscas-zac iscas-zac released this 17 Dec 03:03
· 31 commits to soot-parse-smtlib since this release
saner2025
a07aa1d

The benchmark artefact for the SANER 2025 paper "StriCT-BJ: A String Constraint Benchmark from Real Java Programs".

Assets 3
Loading