Search Results - "Rafe, Vahid"

Whole test suite generation from graph transformation specifications using ant colony optimization.

Authors: Ghasemi, Simin Rafe, Vahid Bahrampour, Anvar et al.

Source: Software Quality Journal; Mar2025, Vol. 33 Issue 1, p1-37, 37p

Graph neural networks for precise bug localization through structural program analysis.

Authors: Yousofvand, Leila Soleimani, Seyfollah Rafe, Vahid et al.

Source: Automated Software Engineering; Jun2026, Vol. 33 Issue 1, p1-28, 28p

Fake news detection using dual BERT deep neural networks.

Authors: Farokhian, Mahmood Rafe, Vahid Veisi, Hadi

Source: Multimedia Tools & Applications; May2024, Vol. 83 Issue 15, p43831-43848, 18p

Automatic program bug fixing by focusing on finding the shortest sequence of changes.

Authors: Yousofvand, Leila Soleimani, Seyfollah Rafe, Vahid et al.

Source: Artificial Intelligence Review; Feb2024, Vol. 57 Issue 2, p1-23, 23p

Automatic bug localization using a combination of deep learning and model transformation through node classification.

Authors: Yousofvand, Leila Soleimani, Seyfollah Rafe, Vahid

Source: Software Quality Journal; Dec2023, Vol. 31 Issue 4, p1045-1063, 19p

A Hybrid Approach for Reachability Analysis of Complex Software Systems Using Fuzzy Adaptive Particle Swarm Optimization Algorithm and Rule Composition.

Authors: Salimi, Nahid Soleimani, Seyfollah Rafe, Vahid et al.

Source: Mathematical & Computational Applications; Jun2025, Vol. 30 Issue 3, p65, 30p

Bayesian Deep Neural Networks with Agnostophilic Approaches.

Authors: McDougall, Sarah Rauchas, Sarah Rafe, Vahid

Source: Big Data & Cognitive Computing; Apr2025, Vol. 9 Issue 4, p95, 20p

MoTDeReL: Model-based testing through deep reinforcement learning for software systems specified through graph transformation.

Authors: Ghasemi, Simin Asgari Araghi, Maryam Rafe, Vahid et al.

Source: Automated Software Engineering; Dec2026, Vol. 33 Issue 2, p1-42, 42p

An efficient approach to state space management in model checking of complex software systems using machine learning techniques.

Authors: Yasrebi, Mohammad Rafe, Vahid parvin, Hamid et al.

Source: Journal of Intelligent & Fuzzy Systems; 2020, Vol. 38 Issue 2, p1761-1773, 13p

Using memetic algorithm for robustness testing of contract-based software models.

Authors: Bahrampour, Anvar Rafe, Vahid

Source: Artificial Intelligence Review; Feb2021, Vol. 54 Issue 2, p877-915, 39p

Using data mining techniques to generate test cases from graph transformation systems specifications.

Authors: Asgari Araghi, Maryam Rafe, Vahid Khendek, Ferhat

Source: Automated Software Engineering; Jun2024, Vol. 31 Issue 1, p1-43, 43p

A three-phase approach to improve the functionality of t-way strategy.

Authors: Pira, Einollah Rafe, Vahid Esfandyari, Sajad

Source: Soft Computing - A Fusion of Foundations, Methodologies & Applications; Jan2024, Vol. 28 Issue 1, p415-435, 21p

A hybrid heuristic workflow scheduling algorithm for cloud computing environments.

Authors: Mirzayi, Sahar Rafe, Vahid

Source: Journal of Experimental & Theoretical Artificial Intelligence; Dec2015, Vol. 27 Issue 6, p721-735, 15p

Using deep reinforcement learning to search reachability properties in systems specified through graph transformation.

Authors: Mehrabi, Mohammad Javad Rafe, Vahid

Source: Soft Computing - A Fusion of Foundations, Methodologies & Applications; Sep2022, Vol. 26 Issue 18, p9635-9663, 29p

Using Bayesian optimization algorithm for model-based integration testing.

Authors: Rafe, Vahid Mohammady, Somayeh Cuevas, Erik

Source: Soft Computing - A Fusion of Foundations, Methodologies & Applications; Apr2022, Vol. 26 Issue 7, p3503-3525, 23p

GALP: a hybrid artificial intelligence algorithm for generating covering array.

Authors: Esfandyari, Sajad Rafe, Vahid

Source: Soft Computing - A Fusion of Foundations, Methodologies & Applications; Jun2021, Vol. 25 Issue 11, p7673-7689, 17p

An approach based on knowledge exploration for state space management in checking reachability of complex software systems.

Authors: Partabian, Jaafar Rafe, Vahid Parvin, Hamid et al.

Source: Soft Computing - A Fusion of Foundations, Methodologies & Applications; May2020, Vol. 24 Issue 10, p7181-7196, 16p

A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems.

Authors: Yousefian, Rosa Aboutorabi, Shahryar Rafe, Vahid

Source: Journal of Intelligent & Fuzzy Systems; 2016, Vol. 31 Issue 1, p137-149, 13p

MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation.

Authors: Rafe, Vahid Darghayedi, Mahsa Pira, Einollah

Source: Soft Computing - A Fusion of Foundations, Methodologies & Applications; Jun2019, Vol. 23 Issue 12, p4531-4556, 26p

A hybrid optimization algorithm based on harmony search and differential evolution for continuous domain.

Authors: Rafe, Vahid Paiandeh, Zahra Nikanjam, Amin

Source: Journal of Intelligent & Fuzzy Systems; 2015, Vol. 29 Issue 5, p2169-2176, 8p