Article

Test case prioritization for model transformations

سبتمبر 01, 2022

DOI: 10.1016/j.jksuci.2021.08.011

Publisher: King Saud University

/ Saqib Iqbal / Issam Al-Azzoni

Other Researches

Access Control Verification in Smart Contracts Using Colored Petri Nets

This paper presents an approach for the verification of access control in smart contracts written in the Digital Asset Modeling Language (DAML). The approach utilizes Colored Petri Nets (CPNs) and their analysis tool CPN Tools. It is a model-driven-...

Model-Driven Approach for Generating Smart Contracts for Access Control

AI-enabled framework for mobile network experimentation leveraging ChatGPT: Case study of channel capacity calculation for η-µ fading and co-channel interference

A Model-Driven Approach for Solving the Software Component Allocation Problem

A Framework for the Regression Testing of Model-to-Model Transformations