Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages