Concept

Software testing

Related publications (32)

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

Impact of microwave beam scattering by density fluctuations on the electron-cyclotron power deposition profile in tokamaks

Stefano Coda, Joan Decker, Oleg Krutkin, Umesh Kumar, Jean Arthur Cazabonne

Electron-cyclotron waves are a tool commonly used in tokamaks, in particular to drive current. Their ability to drive current in a very localized manner renders them an optimal tool for MHD mode mitigation. However, such applications require high accuracy ...

Bristol2024

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

Simon Bernhard Otto

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

Model reduction of coupled systems based on non-intrusive approximations of the boundary response maps

Jan Sickmann Hesthaven, Niccolo' Discacciati

We propose a local, non -intrusive model order reduction technique to accurately approximate the solution of coupled multi -component parametrized systems governed by partial differential equations. Our approach is based on the approximation of the boundar ...

Lausanne2024

A Comparative Analysis of Tools & Task Types for Measuring Computational Problem-Solving

Richard Lee Davis, Engin Walter Bumbacher, Jérôme Guillaume Brender

How to measure students' Computational Problem-Solving (CPS) competencies is an ongoing research topic. Prevalent approaches vary by measurement tools (e.g., interactive programming, multiple-choice tests, or programming-independent tests) and task types ( ...

Association for Computing Machinery2024

Investigating neural resource allocation in the sensorimotor control of extra limbs

Giulia Dominijanni

The rise of robotic body augmentation brings forth new developments that will transform robotics, human-machine interaction, and wearable electronics. Extra robotic limbs, although building upon restorative technologies, bring their own set of challenges i ...

EPFL2024

Performance Comparison of Cables With Partial Transposition

Pierluigi Bruzzone, Kamil Sedlák, Federica Demattè, Chiara Frittitta

The need of full transposition of the current carrying elements (strands) in large cables is frequently retained as top design criterion for conductors operating in pulsed mode. However, when the transposition error, i.e., the inductance difference among t ...

Piscataway2024

Exact Obstacle Avoidance for Robots in Complex and Dynamic Environments Using Local Modulation

Lukas Huber

Robots outside of the fenced factories have to deal with continuously changing environment, this requires fast and flexible modes of control. Planning methods or complex learning models can find optimal paths in complex surroundings, but they are computati ...

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

Seismic Testing of Adjacent Interacting Masonry Structures

Katrin Beyer, Igor Tomic, Andrea Penna

Masonry buildings form building aggregates around the world in historical centers, which developed as the layout of the city or village densified. In these aggregates, adjacent buildings can share structural walls, connected at the interfaces by interlocki ...

2023

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.