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

Boqi Chen, Aren A. Babikian, Shuzhao Feng +2

Requirements over strings, commonly represented using natural language (NL), are particularly relevant for software systems due to their heavy reliance on string data manipulation.…