Publications related to White-box testing

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

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

Tolerancing the surface form of aspheric microlenses manufactured by wafer-level optics techniques

Toralf Scharf, Wilfried Noell, Jeremy Béguelin

Tolerancing is an important step toward the fabrication of high-quality and cost-effective lens surfaces. It is critical for wafer-level optics, when up to tens of thousands microlenses are fabricated in parallel and whose surfaces cannot be formed individ ...

OPTICAL SOC AMER2020

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

Majed El Helou, Liying Lu, 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, Filippo Cataldo, Brian Paul D'Entremont, Raffaele Luca Amalfi

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

Modeling and Assessment of Urban Energy Systems

Amarasinghage Tharindu Dasun Perera

Improving the energy sustainability of our cities involves the integration of multiple renewable energy technologies into existing energy infrastructure, stretching the capabilities of traditional energy systems to the limit. To consider the transition tak ...

EPFL2019

Optical microsystems for genetically engineered biosensors. Case study: Glucose monitoring

Bakul Jitendra Vinchhi

Diabetes is a global epidemic with millions of people dying from it every year. Progress in microelectronics and machine learning has led to a huge number of FDA approvals of devices for continuous monitoring and treatment of diabetes with one product usin ...

EPFL2019

Use of compact Laser Doppler Velocimetry in reduced scale model testing of hydraulic machines

François Avellan, Vincent Berruex, Andres Müller, Loïc Andolfatto, Masashi Sakamoto

Laser based flow survey methods such as Laser Doppler Velocimetry (LDV) or Particle Image Velocimetry (PIV) have long been used for studying the flow in hydraulic machines. Even if the results have crucially improved our understanding of potentially destab ...

2018

NTIRE 2018 Challenge on Spectral Reconstruction from RGB Images

Lei Zhang, Bing Zhang, Majed El Helou, Ruofan Zhou, Fayez Lahoud, Dong Liu, Marjan Shahpaski, Radu Timofte, Chang Chen, Soumik Sarkar, Himanshu Sharma

This paper reviews the first challenge on spectral image reconstruction from RGB images, i.e., the recovery of whole-scene hyperspectral (HS) information from a 3- channel RGB image. The challenge was divided into 2 tracks: the “Clean” track sought HS reco ...

2018

The detection of two-component mixture alternatives : Theory and methods

Daria Rukina

In this thesis, we deal with one of the facets of the statistical detection problem. We study a particular type of alternative, the mixture model. We consider testing where the null hypothesis corresponds to the absence of a signal, represented by some kno ...

EPFL2018

A Scala Library for Testing Student Assignments on Concurrent Programming

Mikaël Mayer, Ravichandhran Kandhadai Madhavan

We present a lightweight library for testing concurrent Scala programs by systematically exploring multiple interleavings between user-specified operations on shared objects. Our library is targeted at beginners of concurrent programming in Scala, runs on ...

Assoc Computing Machinery2016

Techniques for Identifying Elusive Corner-Case Bugs in Systems Software

Radu Banabic

Modern software is plagued by elusive corner-case bugs (e.g., security bugs). Because there are no scalable, automated ways of finding them, such bugs can remain hidden until software is deployed in production. This thesis proposes approaches to solve this ...

EPFL2015

Systematically testing OpenFlow controller applications

Dejan Kostic, Marco Canini, Peter Peresini, Maciej Leszek Kuzniar, Jennifer Rexford

The emergence of OpenFlow-capable switches enables exciting new network functionality, at the risk of programming errors that make communication less reliable. The centralized programming model, where a single controller program manages the network, seems ...

Elsevier Science Bv2015

Morphological Evolution of Physical Robots through Model-Free Phenotype Development

Simon Lukas Hauser

Artificial evolution of physical systems is a stochastic optimization method in which physical machines are iteratively adapted to a target function. The key for a meaningful design optimization is the capability to build variations of physical machines th ...

2015

A real-time comparison between direct control, sequential pattern recognition control and simultaneous pattern recognition control using a Fitts' law style assessment procedure

Sophie Marie Marthe Wurth

Background: Pattern recognition (PR) based strategies for the control of myoelectric upper limb prostheses are generally evaluated through offline classification accuracy, which is an admittedly useful metric, but insufficient to discuss functional perform ...

BioMed Central2014