Skip to main content

Research Repository

Advanced Search

Dr Mehmet Aydin's Outputs (109)

Assuring correctness, testing, and verification of x-compiler by integrating communicating stream x-machine (2024)
Presentation / Conference Contribution

Compiler design plays an important role in ensuring that the translation of the programs written in high-level language into executable code is correct. However, in todays’ safety-critical environments, security gaps, visible and hidden defects in co... Read More about Assuring correctness, testing, and verification of x-compiler by integrating communicating stream x-machine.

The effect of parameters on the success of heuristic algorithms in personalized personnel scheduling (2023)
Presentation / Conference Contribution

Work-life balance is an approach that aims to enable employees to balance their work, family, and private lives. It is seen that the factors in the work-life balance are not relevant to work and family, considering the activities that one wishes for... Read More about The effect of parameters on the success of heuristic algorithms in personalized personnel scheduling.

Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine (2022)
Presentation / Conference Contribution

The improvement of this paper takes advantage of the existing formal method called Stream X-Machine by optimizing the theory and applying it to practice in a large-scale system. This optimized formal approach called Communicating Stream X-Machine (CS... Read More about Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine.

A Stream X-Machine tool for modelling and generating test cases for chronic diseases based on state-counting approach (2021)
Journal Article

In the biomedical domain, diagrammatical models have been extensively used to describe and understand the behaviour of biological organisms (biological agents) for decades. Although these models are simple and comprehensive, they can only offer a sta... Read More about A Stream X-Machine tool for modelling and generating test cases for chronic diseases based on state-counting approach.

A novel software fault prediction approach to predict error-type proneness in the Java programs using Stream X-Machine and machine learning (2021)
Presentation / Conference Contribution

Software fault prediction makes software quality assurance process more efficient and economic. Most of the works related to software fault prediction have mainly focused on classifying software modules as faulty or not, which does not produce suffic... Read More about A novel software fault prediction approach to predict error-type proneness in the Java programs using Stream X-Machine and machine learning.