full-title:: [Leveraging Artificial Intelligence for Model-based Software Analysis and Design | SpringerLink](https://omnivore.app/me/leveraging-artificial-intelligence-for-model-based-software-anal-18cd121d9ac) site:: [Springer Nature Singapore](https://link.springer.com/chapter/10.1007/978-981-19-9948-2_4) author:: Antonio Garmendia, Dominik Bork, Martin Eisenberg, Thiago Ferreira, Marouane Kessentini, Manuel Wimmer labels:: [[MDE]] [[ResearchPaper]] [[AI]] date-saved:: [[03-01-2024]] date-published:: [[01-01-2023]] source:: [[Omnivore]] state:: [[Reading]]