Full contract verification for ATL using symbolic execution

Overview of attention for article published in Software and Systems Modeling, July 2016

Altmetric Badge

Mentioned by

twitter: 2 X users

Citations

dimensions_citation: 19 Dimensions

Readers on

mendeley: 22 Mendeley

Summary X Dimensions citations

So far, Dimensions has found 19 publications that cite this research output.

19

The most recent citing publications are shown below. View all 19 publications that cite this research output on Dimensions.

Improving repair of semantic ATL errors using a social diversity metric

Article in Software and Systems Modeling (April 2024)

Ant-colony optimization for automating test model generation in model transformation testing

Article in Journal of Systems and Software (February 2024)

Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis

Article in Software and Systems Modeling (September 2023)