Publications related to API 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

MINERVA: Browser API Fuzzing with Dynamic Mod-Ref Analysis

Mathias Josef Payer, Yu Jiang, Chijin Zhou

Browser APIs are essential to the modern web experience. Due to their large number and complexity, they vastly expand the attack surface of browsers. To detect vulnerabilities in these APIs, fuzzers generate test cases with a large amount of random API inv ...

Assoc Computing Machinery2022

Seed Selection for Successful Fuzzing

Mathias Josef Payer

Mutation-based greybox fuzzing-unquestionably the most widely-used fuzzing technique-relies on a set of non-crashing seed inputs (a corpus) to bootstrap the bug-finding process. When evaluating a fuzzer, common approaches for constructing this corpus inclu ...

ASSOC COMPUTING MACHINERY2021

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

HippoUnit: A software tool for the automated testing and systematic comparison of detailed models of hippocampal neurons based on electrophysiological data

Eilif Benjamin Muller, Armando Romani, Werner Alfons Hilda Van Geit, Szabolcs Kali, Carmen Alina Lupascu, Rosanna Migliore, Luca Leonardo Bologna, Sàra Sàray, Shailesh Appukuttan

Anatomically and biophysically detailed data-driven neuronal models have become widely used tools for understanding and predicting the behavior and function of neurons. Due to the increasing availability of experimental data from anatomical and electrophys ...

2021

A non-twisting flux tube for local gyrokinetic simulations

Stephan Brunner, Justin Richard Ball

Local gyrokinetic simulations use a field-aligned domain that twists due to the magnetic shear of the background magnetic equilibrium. However, if the magnetic shear is strong and/or the domain is long, the twist can become so extreme that it fails to prop ...

2021

The COUGHVID crowdsourcing dataset: A corpus for the study of large-scale cough analysis algorithms

David Atienza Alonso, Tomas Teijeiro Campo, Lara Orlandic

Overview Cough audio signal classification has been successfully used to diagnose a variety of respiratory conditions, and there has been significant interest in leveraging Machine Learning (ML) to provide widespread COVID-19 screening. Th ...

Zenodo2021

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

COVID-19 epidemic in Switzerland: on the importance of testing, contact tracing and isolation

Marcel Salathé

Switzerland is among the countries with the highest number of coronavirus disease-2019 (COVID-19) cases per capita in the world. There are likely many people with undetected SARS-CoV-2 infection because testing efforts are currently not detecting all infec ...

2020

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

The influence of casting position and disturbance induced by reinforcement on the structural concrete strength

Aurelio Muttoni, Miguel Fernández Ruiz, Francesco Rafael Alberto Moccia

It is well known that control specimens used to assess the concrete strength of new structures have different casting and curing conditions than those of actual structures. Notably, after pouring of the concrete and before its hardening, a number of phenom ...

ERNST & SOHN2021

Metabolic and hemodynamic changes in the activated human brain and cerebellar organisation measured by MRS/MRl at 7 Tesla

Yohan Boillat

Although less often investigated than the positive blood-oxygen-level-dependent (BOLD) signal, a negative BOLD signal has also been observed under certain conditions, which could have a neuronal origin. To further investigate the negative BOLD signal from ...

EPFL2020

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

Development of Bidirectional Cyclic Lateral Loading Protocols for Experimental Testing of Steel Wide-Flange Columns

Dimitrios Lignos, Ahmed Mohamed Ahmed Elkady

Steel columns in frame buildings subjected to earthquake shaking undergo bidirectional lateral drift demands. Till now, the majority of past experimental and numerical studies were primarily concerned with the unidirectional column behavior. This paper pro ...

2017

Exogenous Coordination of Concurrent Software Components with JavaBIP

Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina

A strong separation of concerns is necessary in order to make the design of domain-specific functional components independent from cross-cutting concerns, such as concurrent access to the shared resources of the execution platform. Native coordination mech ...

Wiley-Blackwell2017

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

Quantitative analysis of deformation in hollow cylinder tests on anisotropic clay formations

Vincent Labiouse, Gioacchino Viggiani, Shuang You

A series of triaxial laboratory experiments are performed on thick-walled hollow cylindrical samples of boom clay. The aim of this testing program is to better understand the anisotropic deformation during the excavation. The testing conditions are similar ...

2015

Search Techniques for Code Generation

Tihomir Gvero

This dissertation explores techniques that synthesize and generate program fragments and test inputs. The main goal of these techniques is to improve and support automation in program synthesis and test input generation. This is important because performin ...

EPFL2015

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

An Operational Indicator System for the Integration of Sustainability into the Design Process of Urban Wasteland Regeneration Projects

Sophie Lufkin, Martine Laprise, Emmanuel Rey

In the context of sustainable development of European post-industrial cities, urban wastelands offer an important potential of surfaces to recapture. The regeneration of these sites is indeed an opportunity to simultaneously create density within the exist ...

2014