@misc{indiciaec901530a513e,
  title = {LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation},
  author = {Boqi Chen and Aren A. Babikian and Shuzhao Feng and Dániel Varró and Gunter Mussbacher},
  year = {2025},
  url = {https://arxiv.org/abs/2506.16639},
  note = {Source identifier: 2506.16639}
}