Automated Repair of Declarative Software Specifications in the Era of Large Language Models
The growing adoption of declarative software specification languages, coupled with their
inherent difficulty in debugging, has underscored the need for effective and automated …
inherent difficulty in debugging, has underscored the need for effective and automated …
A tool for debugging unsatisfiable integrity constraints in UML/OCL class diagrams
Software models are the basis of the Model-Driven Engineering paradigm. The most popular
modeling notation is UML class diagrams, which can be annotated with OCL predicates to …
modeling notation is UML class diagrams, which can be annotated with OCL predicates to …