This project is related to the field of telecommunications. It revolves around an analysis of a number of key performance
Category: Testing & Verification
Investigating the use of Machine Learning for Automated Element. Location in Test Automation
Modern web application development is constantly evolving, the increasing demand for online businesses and increased complexity in the development of
Constructing and analysing knowledge maps via source code
The most valuable asset held by software engineering organisationsis, arguably, the knowledge held by their employees. It is the creation,
Program Analysis: Towards the Analysis of CPython Bytecode
Program analysis methods offer static compile-time techniques to predict approximations to a set of values or dynamic behaviours which arise
Maintaining chain of custody in a cloud environment, using database-encryption techniques
Given its widespread presence in the area of processing, and the lower storage costs it promises, cloud computing enjoys considerable
Direct digital synthesis on FPGA
This work presents an implementation of a direct digital synthesis (DDS) system, on both a software level and a hardware
Towards extracting, analysing and verifying statistical claims
Claim verification is the task of determining the veracity of a claim. Typical artificial intelligence approaches attempt to support or
High-level events of forensic timelines using runtime verification
Timeline reconstruction is the aspect of digital forensics that concerns itself with assembling a timeline of events from a recovered
Improving soft real-time systems in games by deadline constraints
In recent years, video games have seen a rise in popularity. This is partly due to the Covid-19 pandemic, which