Publications related to System testing

Dangerous acquaintances: the interplay between type IV pili and the type VI secretion system during Vibrio cholerae's environmental lifestyle

Cholera, caused by the bacterium Vibrio cholerae, has affected humanity throughout history and still impacts millions of people every year. Apart from being a human pathogen, V. cholerae is a common member of the aquatic environment. Due to this natural re ...

EPFL2024

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Mathias Josef Payer, Sirus Shahini

Fuzzing has emerged as the most broadly used testing technique to discover bugs. Effective fuzzers rely on coverage to prioritize inputs that exercise new program areas. Edge-based code coverage of the Program Under Test (PUT) is the most commonly used cov ...

ASSOC COMPUTING MACHINERY2023

Orchestration of oscillatory activity to improve visual motion discrimination

Roberto Felipe Salamanca Giron

This thesis describes advances in the use of novel configurations of non-invasive brain stimulation over the visual system allowing to modulate of modifying electro-physiological activity, interregional interactions and by it, visual behavior such as motio ...

EPFL2021

Multiple testing with test statistics following heavy-tailed distributions

Zhiwen Jiang

In multiple testing problems where the components come from a mixture model of noise and true effect, we seek to first test for the existence of the non-zero components, and then identify the true alternatives under a fixed significance level

\alpha

. Two ...

EPFL2021

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

Toward an objective assessment of mobility in clinical and daily activity settings

Arash Atrsaei

Quantification of mobility is the key to monitor the progression of mobility disorders as well as the effect of an intervention. Inertial measurement units (IMUs) with dedicated algorithms can quantify postural transitions and gait as the two key aspects o ...

EPFL2021

OT-μDTC, a test bench for testing CMS Outer Tracker Phase-2 module prototypes

Alessandro Caratelli, Davide Ceresa, Simone Scarfì

The Compact Muon Solenoid (CMS) experiment plans to replace its strip tracker system with a completely new Outer Tracker system to cope with the higher luminosity, compared to Run 2 operation, provided by the HL-LHC. This CMS Phase-2 Outer Tracker will be ...

Proceedings Of Science2020

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

Role of glutathione S-transferases and the mercapturic acid pathway in the biotransformation potential of two zebrafish (Danio rerio) test systems: early life stages and PAC2 cells

Alena Tierbach

Zebrafish (Danio rerio) early life stages provide an important model for chemical risk assessment due to their genetic similarity to humans and the availability of well-established high-throughput techniques. Cells isolated from zebrafish conserve all thes ...

EPFL2020

FuzzGen: Automatic Fuzzer Generation

Mathias Josef Payer

Fuzzing is a testing technique to discover unknown vulnerabilities in software. When applying fuzzing to libraries, the core idea of supplying random input remains unchanged, yet it is non-trivial to achieve good code coverage. Libraries cannot run as stan ...

USENIX ASSOC2020

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

A comprehensive error rate for multiple testing

Jean-Philippe Thiran, Dimitri Nestor Alice Van De Ville, Stephan Morgenthaler, Djalel Eddine Meskaldji

Over the last two decades, a large variety of type I error rates and control procedures have been proposed in the field of multiple hypotheses testing. This paper proposes a framework that includes many existing proposals by investigating procedures in whi ...

SPRINGER2020

Definition of Accurate Reference Synchrophasors for Static and Dynamic Characterization of PMUs

Mario Paolone, Asja Derviskadic, Guglielmo Frigo, Marco Pignati, Daniele Colangelo

The calibration of phasor measurement units (PMUs) consists of comparing coordinated universal time time-aligned phasors (synchrophasors) measured by the PMU under test, against reference synchrophasors generated through a PMU calibrator. The IEEE Standard ...

Institute of Electrical and Electronics Engineers2017

Encapsulation of Insulin-Secreting Cells Expressing a Genetically Encoded Fluorescent Calcium Indicator for Cell-Based Sensing In Vivo

Christophe Boss, Umberto De Marchi, Nicolas Bouche, Andreas Wiederkehr, Federico Sizzano, Mouna Conrad

The development of cell-based biosensors that give insight into cell and tissue function in vivo is an attractive technology for biomedical research. Here, the development of a cell line expressing a fluorescent calcium sensor for the study of beta-cell fu ...

Wiley2017

Severe viral respiratory infections in children with IFIH1 loss-of-function mutations

Jacques Fellay, Amalio Telenti, Istvan Bartha, Christian Hammer, Samira Asgari, Thomas Junier, Paul Jack Mc Laren

Viral respiratory infections are usually mild and self-limiting; still they exceptionally result in life-threatening infections in previously healthy children. To investigate a potential genetic cause, we recruited 120 previously healthy children requiring ...

Natl Acad Sciences2017

Definition and assessment of reference values for PMU calibration in static and transient conditions

Mario Paolone, Guglielmo Frigo, Marco Pignati, Daniele Colangelo

The calibration of Phasor Measurement Units (PMUs) consists of comparing Coordinated Universal Time (UTC) time-stamped phasors (synchrophasors) estimated by the PMU under test, against reference synchrophasors generated through a PMU calibrator. The IEEE S ...

IEEE2016

A Polynomial Regularity Lemma For Semialgebraic Hypergraphs And Its Applications In Geometry And Property Testing

János Pach

In this paper, we prove several extremal results for geometrically defined hypergraphs. In particular, we establish an improved lower bound, single exponentially decreasing in k, on the best constant delta > 0 such that the vertex classes P-1,...,P-k of ev ...

Society for Industrial and Applied Mathematics2016

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

Dynamic testing of a four-storey building with reinforced concrete and unreinforced masonry walls: Prediction, test results and data set

Katrin Beyer, Sarah Petry, Marco Tondelli

This paper presents the results of a series of shake-table tests on a half-scale, four-storey building with reinforced concrete (RC) and unreinforced masonry (URM) walls. Due to the lack of reference tests, the seismic behaviour of such mixed structures is ...

Springer Verlag2015

PBCOV: a property-based coverage criterion

Hamza Harkous, Kassem Fawaz

Coverage criteria aim at satisfying test requirements and compute metrics values that quantify the adequacy of test suites at revealing defects in programs. Typically, a test requirement is a structural program element, and the coverage metric value repres ...

Springer2015