This work presents an implementation of a direct digital synthesis (DDS) system, on both a software level and a hardware
Category: Testing & Verification
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
Meltdown and Spectre Vulnerabilities, and Performance Issues of Related Patches
Meltdown and Spectre are hardware vulnerabilities at the microarchitectural level of a central processing unit (CPU), allowing an attacker to
Investigating MR interface patterns for just-in-time QA information
Software testing is the predominant methodology used by the software development industry to build confidence in a software product prior
Demand prediction for shared mobility services using time series modelling
People are becoming increasingly interested in new mobility solutions, such as shared mobility, which are both cheaper and environmentally friendly
Rethinking the bug-tracking paradigm
In modern development processes, the bug-tracking tool is one of the most important means of tracking any tasks, features or bugs
Investigating the use of genetic algorithms in automated test-case generation
Search-based Software Testing (SBST) is the reformulation of the test case generation problem as a search problem encountered when seeking