Parallel symbolic execution for automated real-world software testing

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.

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 ...

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 ...

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 ...

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 ...

Group testing is a technique that can reduce the number of tests needed to identify infected members in a population, by pooling together multiple diagnostic samples. Despite the variety and importance of prior results, traditional work on group testing ha ...

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 ...

Context. A novel high-performance exact pair-counting toolkit called fast correlation function calculator (FCFC) is presented.Aims. With the rapid growth of modern cosmological datasets, the evaluation of correlation functions with observational and simula ...

Fuzzers effectively explore programs to discover bugs. Greybox fuzzers mutate seed inputs and observe their execution. Whenever a seed reaches new behavior (e.g., new code or higher execution frequency), it is stored for further mutation. Greybox fuzzers d ...

The plastic deformation of small-scale face-centered cubic metals exhibits intermittent slip burst events that appear on stress-strain curves as sudden strain jumps and/or load drops. These events are generally attributed to the avalanche-like cooperative ...

The standard physiological model has serious problems accounting for many aspects of vision, particularly when stimulus configurations become slightly more complex than the ones classically used, e.g., configurations of Gabors rather than only one or a few ...

Hydropower plants play a crucial role in the power system facing ambitious renewable energy targets. Due to their inherent controllability, they are well suited to provide flexibility to the grid. However, an increased flexibility provision leads to a prol ...

This work aims to study the structural, optical, and photocatalytic properties of ZrO2 nanotubes (NTs) that have been synthesized using the electrochemical anodization method. The structural and morphological characteristics of unannealed and annealed (400 ...

The substitution of portland clinker by supplementary cementitious materials (SCMs) is one of the main avenues for the further decarbonization of cement production. To secure future SCM supplies, generic and performance-related test methods for SCMs are re ...

Steel beams with reduced beam section (RBS) are often used as part of prequalified connections in seismic regions. However, RBS connections are not as common in Europe. Reasons relate to easiness in fabrication, which requires on-site welding, and the seis ...

Establishing a reliable value for the axial pipe-soil interface resistance is critical for the design of offshore pipelines. Over the last few years, several independent research groups have modified existing methodologies or devised new testing setups to ...

How can we discern whether the covariance operator of a stochastic pro-cess is of reduced rank, and if so, what its precise rank is? And how can we do so at a given level of confidence? This question is central to a great deal of methods for functional dat ...

The latest standard "New Dual" power module has been developed for both silicon and silicon-carbide devices to meet the increasing demands in high reliability and high temperature power electronic applications. Due to the new package is just starting to re ...

The shear stiffness of headed stud connector is a critical parameter for the calculation of deflection and inter-facial shear force for steel-concrete composite structure. Thus, this study presented a promising data-driven model auto-tuning Deep Forest (AT ...

Recent advances in computational neuroscience have demonstrated the usefulness and importance of stochastic, spatial reaction-diffusion simulations. However, ever increasing model complexity renders traditional serial solvers, as well as naive parallel imp ...

We develop a reduced model for hard-magnetic, thin, linear-elastic shells that can be actuated through an external magnetic field, with geometrically exact strain measures. Assuming a reduced kinematics based on the Kirchhoff-Love assumption, we derive a r ...

Parallel symbolic execution for automated real-world software testing

Chat with Graph Search

Performance Comparison of Cables With Partial Transposition

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

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

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

Community-Aware Group Testing

Seismic Testing of Adjacent Interacting Masonry Structures

Fast correlation function calculator A high-performance pair-counting toolkit

FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

On the slip burst amplitude cutoff in dislocation-rich microcrystals

Specific Gestalt principles cannot explain (un)crowding

Structural impact of the start-up sequence on Pelton turbines lifetime: Analytical prediction and polynomial optimization

Impact of Annealing on ZrO2 Nanotubes for Photocatalytic Application

Interlaboratory Test Program to Determine the Precision of the R3 Test Method (ASTM C1897-20) for Measuring Reactivity of Supplementary Cementitious Materials

Full-scale testing of European steel beams with reduced beam section under reversed cyclic loading

Drained Axial Pipe-Soil Resistance at Low Confinement Using Tilt Table and Direct Shear Tests

Testing For The Rank Of A Covariance Operator

Aging investigation of the latest standard dual power modules using improved interconnect technologies by power cycling test

Auto-tuning deep forest for shear stiffness prediction of headed stud connectors

STEPS 4.0: Fast and memory-efficient molecular simulations of neurons at the nanoscale

A geometrically exact model for thin magneto-elastic shells