A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations-Reference-Cited by-同舟云学术

A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations

Published:2015-08 Issue: Volume:33 Page:136-149
ISSN:1568-4946
Container-title:Applied Soft Computing
language:en
Short-container-title:Applied Soft Computing

Author:

Rafe Vahid,Moradi Maryam,Yousefian Rosa,Nikanjam Amin

Publisher

Elsevier BV

Subject

Software

Reference41 articles.

1. Principles of Model Checking;Baier,2008

2. A heuristic solution for model checking graph transformation systems;Yousefian;Appl. Soft Comput.,2014

3. G. Taentzer, K. Ehrig et al., Model transformation by graph transformation: a comparative study, in: Workshop Model Transformation in Practice at MODELS05 (2005).

4. Designing an architectural style for pervasive healthcare;Rafe;Syst. Med. Syst.,2013

5. Behavioral refinement of graph transformation-based models;Thone;Electron. Notes Theor. Comput. Sci. (ENTCS),2005

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Checking reachability property of systems specified through graph transformation with the approach of discovery conditional dependency between the rules;Signal and Data Processing;2023-09-01

2. Reachability checking in complex and concurrent software systems using intelligent search methods;Signal and Data Processing;2022-05-01

3. Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization;Journal of Information and Telecommunication;2022-03-22

4. Using deep reinforcement learning to search reachability properties in systems specified through graph transformation;Soft Computing;2022-02-11

5. Using Bayesian optimization algorithm for model-based integration testing;Soft Computing;2021-11-16