Publication

FuzzGen: Automatic Fuzzer Generation

Publications associées (29)

Automatic extraction of constraints in manipulation tasks for autonomy and interaction

Tasks routinely executed by humans involve sequences of actions performed with high dexterity and coordination. Fully specifying these actions such that a robot could replicate the task is often difficult. Furthermore the uncertainties introduced by the us ...

EPFL2018

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

Vitaly Chipounov, George Candea, Bin Zhang, Chao Feng

Coverage-based fuzz testing and dynamic symbolic execution are both popular program testing techniques. However, on their own, both techniques suffer from scalability problems when considering the complexity of modern software. Hybrid testing methods attem ...

INST ENGINEERING TECHNOLOGY-IET2018

From Human Physical Interaction To Online Motion Adaptation Using Parameterized Dynamical Systems

Aude Billard, Mahdi Khoramshahi, Thomas Triquet

In this work, we present an adaptive motion planning approach for impedance-controlled robots to modify their tasks based on human physical interactions. We use a class of parameterized time-independent dynamical systems for motion generation where the mod ...

2018

Last-Centimeter Personal Drone Delivery: Field Deployment and User Interaction

Dario Floreano, Przemyslaw Mariusz Kornatowski, Stefano Mintchev

Drones are rapidly becoming an affordable and often faster solution for parcel delivery than terrestrial vehicles. Existing transportation drones and software infrastructures are mostly designed by logistics companies for trained users and dedicated infras ...

2018

Topics in Educational Cyber-Physical Labs : Configurations, Data Collection and Analysis

Wissam Halimi

Recent advances in remote sensing and actuation technologies, coupled with the large reach of the internet, allowed for the emergence of applications such as cyber-physical labs. Cyber-physical labs are the digital and remotely-accessible equivalent of the ...

EPFL2018

Elastic Program Transformations : Automatically Optimizing the Reliability/Performance Trade-off in Systems Software

Jonas Benedict Wagner

Performance and reliability are important yet conflicting properties of systems software. Software today often crashes, has security vulnerabilities and data loss, while many techniques that could address such issues remain unused due to performance concer ...

EPFL2017

Generalization of the Concept of Extents to Distributed Reaction Systems

Dominique Bonvin, Julien Léo Billeter, Diogo Filipe Mateus Rodrigues

In the chemical industry, a large class of processes involving reactions can be described by partial differential equations that depend on time and on one or more spatial coordinates. Examples of such distributed reaction systems are tubular reactors and r ...

Elsevier2017

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

Compactly-Supported Smooth Interpolators for Shape Modeling with Varying Resolution

Michaël Unser, Daniel Andreas Schmitter, Julien René Pierre Fageot, Pablo Garcia-Amorena Garcia, Anaïs Laure Marie-Thérèse Badoual

In applications that involve interactive curve and surface modeling, the intuitive manipulation of shapes is crucial. For instance, user interaction is facilitated if a geometrical object can be manipulated through control points that interpolate the shape ...

2017