Concept

System testing

Related publications (44)

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

Jacques Fellay, Amalio Telenti, Istvan Bartha, Christian Hammer, Thomas Junier, Samira Asgari

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

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

The control of the scaled false discovery rate, a flexible and comprehensive error control and a powerful theoretical tool in multiple testing

Dimitri Nestor Alice Van De Ville, Stephan Morgenthaler, Djalel Eddine Meskaldji

Given the large number of papers written over the last ten years on error controls in high dimensional multiple testing, it would be worthwhile to consider a single comprehensive technique that allows user flexibility in error control when dealing with big ...

2015

Novel Readout Circuit for Memristive Biosensors in Cancer Detection

Giovanni De Micheli, Sandro Carrara, Francesca Puppo, Ali Zaher

We present a novel circuit for the automated and quick characterization of an array of experimental memristive nanowires that are functionalized as biosensors. Successfully functionalized nanowires will express the concentration of target molecules by hyst ...

IEEE2014

Influence of particle breakage on the dynamic compression responses of brittle granular materials

The dynamic compression responses of dry quartz sand are tested with a modified spilt Hopkinson pressure bar (MSHPB), and the quasi-static compression responses are tested for comparison with a material testing system. In the experiments, the axial stress- ...

Elsevier2014

High power IGCT based multilevel inverter

Drazen Dujic

Medium voltage drives are essential technology for various high power demanding industrial applications. To satisfy ever increasing customer demands, a power extension of the Integrated Gate Commutated Thyristor (IGCT) based 3L-NPC inverter unit, has been ...

VDE2014

Scaling up analytical queries with column-stores

Anastasia Ailamaki, Ioannis Alagiannis, Manoussos Gavriil Athanassoulis

As data analytics is used by an increasing number of applications, data analytics engines are required to execute workloads with increased concurrency, i.e., an increasing number of clients submitting queries. Data management systems designed for data anal ...

2013

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.