TY  - RPRT
TI  - LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
AU  - Boqi Chen
AU  - Aren A. Babikian
AU  - Shuzhao Feng
AU  - Dániel Varró
AU  - Gunter Mussbacher
PY  - 2025
UR  - https://arxiv.org/abs/2506.16639
ID  - 2506.16639
ER  -