City councils evolution: a socio-inspired metaheuristic optimization algorithm
E Pira - Journal of Ambient Intelligence and Humanized …, 2023 - Springer
The supreme council of a city is usually formed by the evolution of councils from the smallest
neighborhoods to the largest ones, regions, and finally the whole city. Council members of a …
neighborhoods to the largest ones, regions, and finally the whole city. Council members of a …
Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation
Assessing the reliability of safety-critical systems is an important and challenging task
because even a minor failure in these systems may result in catastrophic consequences, like …
because even a minor failure in these systems may result in catastrophic consequences, like …
A hybrid meta-heuristic approach to cope with state space explosion in model checking technique for deadlock freeness
N Rezaee, H Momeni - Journal of AI and Data Mining, 2020 - jad.shahroodut.ac.ir
Model checking is an automatic technique for software verification through which all
reachable states are generated from an initial state to finding errors and desirable patterns …
reachable states are generated from an initial state to finding errors and desirable patterns …
Using Markov Chain based Estimation of Distribution Algorithm for Model-based Safety Analysis of Graph Transformation
E Pira - Journal of Computer Science and Technology, 2021 - Springer
The ability to assess the reliability of safety-critical systems is one of the most crucial
requirements in the design of modern safety-critical systems where even a minor failure can …
requirements in the design of modern safety-critical systems where even a minor failure can …
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations
Context Model checking is an automatic and precise technique in verification and refutation
of software and hardware systems. Despite its advantages, the state space explosion …
of software and hardware systems. Despite its advantages, the state space explosion …
An approach based on knowledge exploration for state space management in checking reachability of complex software systems
Abstract Model checking is one of the most efficient techniques in software system
verification. However, state space explosion is a big challenge while using this technique to …
verification. However, state space explosion is a big challenge while using this technique to …
Extracting combinatorial test parameters and their values using model checking and evolutionary algorithms
Combinatorial Testing (CT) is one of the popular testing approaches for generating a
minimum test suite to detect defects caused by interactions between subsystems. One of the …
minimum test suite to detect defects caused by interactions between subsystems. One of the …
Using Bayesian optimization algorithm for model-based integration testing
Abstract Model-based testing is an automated process in which executable tests are derived
from behavioral models of a system. Model checking is a verification technique to reveal …
from behavioral models of a system. Model checking is a verification technique to reveal …
Using knowledge discovery to propose a two-phase model checking for safety analysis of graph transformations
E Pira - Software Quality Journal, 2022 - Springer
Safety is one of the most important features of modern software systems, especially safety-
critical systems such as nuclear power plants, which can be checked exactly by model …
critical systems such as nuclear power plants, which can be checked exactly by model …
Model-based test suite generation for graph transformation system using model simulation and search-based techniques
A Kalaee, V Rafe - Information and Software Technology, 2019 - Elsevier
Context Test generation by model checking is a useful technique in model-based testing that
allows automatic generation of test cases from models by utilizing the counter …
allows automatic generation of test cases from models by utilizing the counter …