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
A framework for instrument panel layout construction
The goal of this study is to produce techniques to generate alternative user interface (UI) designs and layouts for systems
Achieving Consensus in Elixir using Raft
Testing systems designed to run in a distributed-network setting may be described as difficult at best. Writing test cases for
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