LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation.

Boqi Chen, Aren A. Babikian, Shuzhao Feng, Dniel Varr, Gunter Mussbacher

Browse the full RE paper archive.