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
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
Computer security and communication issues in automobiles: Identification and analysis of security issues using a threat-modelling approach
Car manufacturers are building vehicles with a greater emphasis on connectivity, thus making them more convenient – but also more