C.3. Software Engineering
1. A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

N. Rezaee; H. Momeni

Volume 8, Issue 2 , Spring 2020, , Pages 189-199

Abstract
  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. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a ...  Read More

C.3. Software Engineering
2. Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing

M. A. Saadtjoo; S. M. Babamir

Volume 6, Issue 2 , Summer 2018, , Pages 375-385

Abstract
  Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. ...  Read More

C.3. Software Engineering
3. Evaluation of Classifiers in Software Fault-Proneness Prediction

F. Karimian; S. M. Babamir

Volume 5, Issue 2 , Summer 2017, , Pages 149-167

Abstract
  Reliability of software counts on its fault-prone modules. This means that the less software consists of fault-prone units the more we may trust it. Therefore, if we are able to predict the number of fault-prone modules of software, it will be possible to judge the software reliability. In predicting ...  Read More

C.3. Software Engineering
4. Method integration: An approach to develop agent oriented methodologies

E. Ghandehari; F. Saadatjoo; M. A. Zare Chahooki

Volume 3, Issue 1 , Winter 2015, , Pages 59-76

Abstract
  Agent oriented software engineering (AOSE) is an emerging field in computer science  and  proposes some systematic ideas for multi agent systems analysis, implementation and maintenance. Despite the various methodologies introduced in the agent-oriented software engineering, the main challenges ...  Read More