Usability testing is a human-intensive process that must compete for time with other activities in the software development process, such
Category: Testing & Verification
Using autonomous drone navigation to pick up and deliver payloads
This project aims at researching and investigating how to efficiently employ unmanned aerial vehicles (UAV) ‒ commonly known as drones
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
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
Indexing of high-dimensional data in DBMS
Novel applications rely on data with a high number of attributes and a much richer set of data types (e.g.
Formal Model Extraction from Informal Descriptions
The translation of natural-language specifications to model- based specification could be defined as the translation from unstructured to structured-system specification.
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