Announcement_12

The paper I’m co-first author of, “LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation” has been accepted to the 33rd IEEE International Requirements Engineering 2025 conference (RE 2025). Check out the preprint.