ICT Projects - Testing & Verification

Using runtime verification to generate intrusion timelines from memory images

Every action carried out in a system is recorded and logged in memory. These actions, also known as events, could

Given its widespread presence in the area of processing, and the lower storage costs it promises, cloud computing enjoys considerable

This work presents an implementation of a direct digital synthesis (DDS) system, on both a software level and a hardware

Claim verification is the task of determining the veracity of a claim. Typical artificial intelligence approaches attempt to support or

Meltdown and Spectre are hardware vulnerabilities at the microarchitectural level of a central processing unit (CPU), allowing an attacker to

Software testing is the predominant methodology used by the software development industry to build confidence in a software product prior

People are becoming increasingly interested in new mobility solutions, such as shared mobility, which are both cheaper and environmentally friendly

In modern development processes, the bug-tracking tool is one of the most important means of tracking any tasks, features or bugs

Search-based Software Testing (SBST) is the reformulation of the test case generation problem as a search problem encountered when seeking