Concept

White-box testing

Related publications (47)

To Infinity, and Beyond (Coverage)

The pursuit of software security and reliability hinges on the identification and elimination of software vulnerabilities, a challenge compounded by the vast and evolving complexity of modern systems. Fuzzing has emerged as an indispensable technique for b ...

EPFL2024

Uniaxial fiber reinforced DEA fabrication

Julian Asboth

Dielectric Elastomer Actuators (DEA) are devices designed to convert electric energy into mechanical work. However, the current actuator design will expand when actuated while muscles contract. Fiber reinforcement may allow for anisotropic movement, which ...

2023

DatAFLow: Toward a Data-Flow-Guided Fuzzer

Mathias Josef Payer

Coverage-guided greybox fuzzers rely on control-flow coverage feedback to explore a target program and uncover bugs. Compared to control-flow coverage, data-flow coverage offers a more fine-grained approximation of program behavior. Data-flow coverage capt ...

2023

Edit Based Grading of SQL Queries

Bikash Chandra

Grading student SQL queries manually is a tedious and error-prone process. Earlier work on testing correctness of student SQL queries, such as the XData system, can be used to test the correctness of a student query. However, in case a student query is fou ...

ASSOC COMPUTING MACHINERY2021

Real-time feedback control system for ADITYA-U horizontal plasma position stabilisation

Harshita Raj, Rohit Kumar, Shivam Gupta

The ADITYA-U tokamak (R-0 = 0.75 m, a = 0.25 m) is designed to shape plasma column in both single and double null diverter configurations. It is quite well known that sustaining a shaped plasma in tokamak requires very good plasma column position control, ...

2021

Biomechanical Response of the Lower Extremity to Running-Induced Acute Fatigue: A Systematic Review

Kamiar Aminian, Salil Apte, Gaëlle Prigent

Objective: To investigate (i) typical protocols used in research on biomechanical response to running-induced fatigue, (ii) the effect of sport-induced acute fatigue on the biomechanics of running and functional tests, and (iii) the consistency of analyzed ...

2021

Wannier90 as a community code: new features and applications

Nicola Marzari, Giovanni Pizzi, Marco Gibertini, Antimo Marrazzo, Hyungjun Lee, Junfeng Qiao, Samuel Poncé, Lorenzo Paulatto, Daniel John Gilles Marchand

Wannier90 is an open-source computer program for calculating maximally-localised Wannier functions (MLWFs) from a set of Bloch states. It is interfaced to many widely used electronic-structure codes thanks to its independence from the basis sets representi ...

2020

Testing of asymptomatic individuals for fast feedback-control of COVID-19 pandemic

Gabriel Aeppli

We argue that frequent sampling of the fraction ofa priorinon-symptomatic but infectious humans (either by random or cohort testing) significantly improves the management of the COVID-19 pandemic, when compared to intervention strategies relying on data fr ...

2020

AIM 2019 Challenge on Image Extreme Super-Resolution: Methods and Results

Liying Lu, Majed El Helou, Ruofan Zhou, Xin Yang, Wei Li, Radu Timofte, Jia Yu, Muhammad Haris, Peng Yi, Jiayi Ma, Hanwen Liu

This paper reviews the AIM 2019 challenge on extreme image super-resolution, the problem of restoring of rich details in a low resolution image. Compared to previous, this challenge focuses on an extreme upscaling factor, x16, and employs the novel DIVerse ...

IEEE COMPUTER SOC2019

Numerical Simulations of Pulsating Heat Pipes, Part 1: Modeling

John Richard Thome, Jackson Braz Marcinichen, Philippe Aubin, Raffaele Luca Amalfi, Filippo Cataldo, Brian Paul D'Entremont

The pulsating nature of a closed loop pulsating heat pipe (CLPHP) makes the prediction of its thermal-hydraulic performance extremely challenging. Unfortunately, the design of CLPHPs is still quite an empirical process, requiring testing of many prototypes ...

IEEE2019

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.