The goal of this study is to produce techniques to generate alternative user interface (UI) designs and layouts for systems
Category: Testing & Verification
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.
Responding to PowerShell Attacks
PowerShell has become such a ubiquitous tool, that it is found in all Windows environments spanning from personal computers to
Human Centred Software Testing Using Augmented Reality
Software testing is a demanding activity where testers must handle considerable volumes of information coming from a wide variety of
Usability Study of Animated and Static Banner Ads on a Mobile News Website
News Websites are a great way to deliver information. From breaking news to the latest trends, they have proven to