Matches in SemOpenAlex for { <https://semopenalex.org/work/W2558844166> ?p ?o ?g. }
- W2558844166 endingPage "897" @default.
- W2558844166 startingPage "868" @default.
- W2558844166 abstract "Model transformations are central to Model-Driven Engineering (MDE), where they are used to transform models between different languages; to refactor and simulate models; or to generate code from models. Thus, given their prominent role in MDE, practical methods helping in detecting errors in transformations and automate their verification are needed. In this paper, we present a method for the static analysis of ATL model transformations. The method aims at discovering typing and rule errors, like unresolved bindings, uninitialized features or rule conflicts. It relies on static analysis and type inference, and uses constraint solving to assert whether a source model triggering the execution of a given problematic statement can possibly exist. Our method is supported by a tool that integrates seamlessly with the ATL development environment. To evaluate the usefulness of our method, we have used it to analyse a public repository of ATL transformations. The high number of errors discovered shows that static analysis of ATL transformations is needed in practice. Moreover, we have measured the precision and recall of the method by considering a synthetic set of transformations obtained by mutation techniques, and comparing with random testing. The experiment shows good overall results in terms of false positives and negatives." @default.
- W2558844166 created "2016-12-08" @default.
- W2558844166 creator A5007371727 @default.
- W2558844166 creator A5033931809 @default.
- W2558844166 creator A5040491852 @default.
- W2558844166 date "2017-09-01" @default.
- W2558844166 modified "2023-10-17" @default.
- W2558844166 title "Static Analysis of Model Transformations" @default.
- W2558844166 cites W112718097 @default.
- W2558844166 cites W1480909796 @default.
- W2558844166 cites W1487851792 @default.
- W2558844166 cites W1496759536 @default.
- W2558844166 cites W1509087931 @default.
- W2558844166 cites W1519503479 @default.
- W2558844166 cites W1548001884 @default.
- W2558844166 cites W1574226371 @default.
- W2558844166 cites W1574412918 @default.
- W2558844166 cites W1594569722 @default.
- W2558844166 cites W1598157599 @default.
- W2558844166 cites W1965979806 @default.
- W2558844166 cites W1968812179 @default.
- W2558844166 cites W1983129150 @default.
- W2558844166 cites W1996618308 @default.
- W2558844166 cites W2023801057 @default.
- W2558844166 cites W2027346590 @default.
- W2558844166 cites W2031256244 @default.
- W2558844166 cites W2037211638 @default.
- W2558844166 cites W2048753738 @default.
- W2558844166 cites W2054383157 @default.
- W2558844166 cites W2057670064 @default.
- W2558844166 cites W2057716730 @default.
- W2558844166 cites W2063169118 @default.
- W2558844166 cites W2067251265 @default.
- W2558844166 cites W2076990838 @default.
- W2558844166 cites W2096524171 @default.
- W2558844166 cites W2122693579 @default.
- W2558844166 cites W2130876928 @default.
- W2558844166 cites W2131336207 @default.
- W2558844166 cites W2143928515 @default.
- W2558844166 cites W2144344516 @default.
- W2558844166 cites W2147642262 @default.
- W2558844166 cites W2155693950 @default.
- W2558844166 cites W2169424671 @default.
- W2558844166 cites W2181943201 @default.
- W2558844166 cites W2204798131 @default.
- W2558844166 cites W2288474485 @default.
- W2558844166 cites W2293624369 @default.
- W2558844166 cites W2412353202 @default.
- W2558844166 cites W2473695908 @default.
- W2558844166 cites W2478959938 @default.
- W2558844166 cites W3020947624 @default.
- W2558844166 cites W4213009331 @default.
- W2558844166 cites W4240117756 @default.
- W2558844166 cites W969544928 @default.
- W2558844166 doi "https://doi.org/10.1109/tse.2016.2635137" @default.
- W2558844166 hasPublicationYear "2017" @default.
- W2558844166 type Work @default.
- W2558844166 sameAs 2558844166 @default.
- W2558844166 citedByCount "47" @default.
- W2558844166 countsByYear W25588441662017 @default.
- W2558844166 countsByYear W25588441662018 @default.
- W2558844166 countsByYear W25588441662019 @default.
- W2558844166 countsByYear W25588441662020 @default.
- W2558844166 countsByYear W25588441662021 @default.
- W2558844166 countsByYear W25588441662022 @default.
- W2558844166 countsByYear W25588441662023 @default.
- W2558844166 crossrefType "journal-article" @default.
- W2558844166 hasAuthorship W2558844166A5007371727 @default.
- W2558844166 hasAuthorship W2558844166A5033931809 @default.
- W2558844166 hasAuthorship W2558844166A5040491852 @default.
- W2558844166 hasConcept C124101348 @default.
- W2558844166 hasConcept C127413603 @default.
- W2558844166 hasConcept C137287247 @default.
- W2558844166 hasConcept C152752567 @default.
- W2558844166 hasConcept C154945302 @default.
- W2558844166 hasConcept C177264268 @default.
- W2558844166 hasConcept C17744445 @default.
- W2558844166 hasConcept C198370458 @default.
- W2558844166 hasConcept C199360897 @default.
- W2558844166 hasConcept C199539241 @default.
- W2558844166 hasConcept C2776036281 @default.
- W2558844166 hasConcept C2776214188 @default.
- W2558844166 hasConcept C2776436953 @default.
- W2558844166 hasConcept C2777026412 @default.
- W2558844166 hasConcept C2777904410 @default.
- W2558844166 hasConcept C2779791154 @default.
- W2558844166 hasConcept C2780654840 @default.
- W2558844166 hasConcept C41008148 @default.
- W2558844166 hasConcept C43126263 @default.
- W2558844166 hasConcept C45235069 @default.
- W2558844166 hasConcept C529173508 @default.
- W2558844166 hasConcept C64869954 @default.
- W2558844166 hasConcept C78519656 @default.
- W2558844166 hasConcept C80444323 @default.
- W2558844166 hasConcept C81669768 @default.
- W2558844166 hasConcept C97686452 @default.
- W2558844166 hasConceptScore W2558844166C124101348 @default.
- W2558844166 hasConceptScore W2558844166C127413603 @default.