Search papers, labs, and topics across Lattice.
Affiliation:
3
0
3
8
LLMs can infer formal specifications from tests alone, potentially transforming how we approach specification synthesis in industry.
JDomInO keeps Java code and domain models in sync, preventing the costly drift that undermines effective Domain-Driven Design.
LLMs can automatically co-evolve textual DSLs and their instances with high accuracy for small changes, but struggle to scale to larger, more complex modifications, revealing a practical limit for automated DSL maintenance.
