String solver and benchmarks from 'Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables'

Artifact Digital Object Group ◽

10.1145/3462309 ◽

2022 ◽

Author(s):

Taolue Chen ◽

Alejandro Flores-Lamas ◽

Matthew Hague ◽

Zhilei Han ◽

Denghang Hu ◽

...

Download Full-text