Skip to main content

Research Repository

Advanced Search

Dr Emmanuel Ogunshile's Outputs (30)

Integrating students as academic partners in software engineering: A group software development case study (2025)
Presentation / Conference Contribution

Exploring the role of a Student as an Academic Partner (SAP) in software engineering education, this study investigates the interactions between students and faculty and evaluates the perceptions of students on SAP's integration within a Group Softwa... Read More about Integrating students as academic partners in software engineering: A group software development case study.

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.

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.

Exploring a web-based application to convert Tamil and Vietnamese speech to text without the effect of code- switching and code-mixing (2021)
Journal Article

This paper attempts to develop an application that converts Tamil and Vietnamese speech to text, with a view to encourage usage and indirectly ensure linguistic preservation of a classical language. The application converts spoken Tamil and Vietnames... Read More about Exploring a web-based application to convert Tamil and Vietnamese speech to text without the effect of code- switching and code-mixing.

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.

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.

Towards a multilingual, cross-cultural and student-led software engineering lectures in UK Higher Education (2021)
Presentation / Conference Contribution

This work attempts to present a novel approach to deliver software engineering lectorial sessions. The work primarily focuses on increasing student engagement by taking a multilingual and cross-cultural approach where students take the lead. The desi... Read More about Towards a multilingual, cross-cultural and student-led software engineering lectures in UK Higher Education.

An algorithm for implementing a minimal stream X-Machine model to test the correctness of a system (2020)
Presentation / Conference Contribution

The rapid change of requirements has made software more complex and harder to maintain. Software testing tools play an important role in the Software Development Life Cycle. However, many technology companies have employed fast paced development of s... Read More about An algorithm for implementing a minimal stream X-Machine model to test the correctness of a system.

Covid-19 Care – A mobile application to help connect volunteers and vulnerable people in the community during the Covid-19 lockdown (2020)
Presentation / Conference Contribution

Whenever the world is faced with a devastating outbreak of events, technology innovations have proven to be a go to solution that expedite the recovery process. We propose a mobile application rapidly developed as a contender to the TechForce19 innov... Read More about Covid-19 Care – A mobile application to help connect volunteers and vulnerable people in the community during the Covid-19 lockdown.

Developing a power efficient private cloud ready infrastructure for small-medium sized enterprises (2018)
Presentation / Conference Contribution

Digital technology is advancing and the means of powering it so. For small-medium enterprise (SME) to remain competitive in today’s economic climate it is paramount they can respond to business challenges with agility and efficiency. Despite knowing... Read More about Developing a power efficient private cloud ready infrastructure for small-medium sized enterprises.