Test Case Prioritization: Towards Efficient and Reliable Continuous Integration

Automatic regression testing is a crucial step of any CI/CD pipeline. Its primary goal is to detect bugs and defects introduced by recent changes as early as possible while keeping verification costs at a very low level. The goal of the TCP project is to create a novel ML-based tool that solves the TCP (Test Case Prioritization) problem in software regression testing.

SASS support in Adwaita-qt

Adwaita-qt is a native Qt style to bend Qt applications to look like they belong into GNOME Shell which uses Adwaita style. Adwaita style (GTK version) uses SASS [1] to define the style, colors, sizing etc. while Adwaita-qt has just bunch of fixed values taken from...

PHYSICS: oPtimized HYbrid Space-time servIce Continuum in faaS

Join Red Hat Research for the next Research Days event, “PHYSICS EU Project: Advancing FaaS applications in the cloud continuum,” on November 16, 2022, from 3PM to 4:30PM CET (4PM IST, 9AM EST).  PHYSICS is a high technology European research project with total...

Side-channel attacks on embedded devices and smartcards

This project focuses on several aspects of side-channel attacks on embedded devices and smartcards, utilizing timing, power-analysis and other side-channels. Implementations of elliptic curve cryptography make a significant amount of implementation choices which...