Sign in

Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules.

Zahra VaraminyBahnemiryJessie GalassoKhalid BelharbiHouari A. Sahraoui
Published in: MoDELS (2021)
Keyphrases
  • transformation rules
  • rewrite rules
  • metamodel
  • model driven
  • multi agent systems
  • data driven
  • model checking
  • data sets
  • recursive programs