Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing
Related publications (40)
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.
Whitebox fuzzing is a novel form of security testing based on runtime symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found dozens of new security vulnerabilities (buffer overflows) in Windows and Linux appli ...
Vehicle drivetrains are complex integrated systems, which need to be designed for numerous thermodynamic, economic and environmental factors. As part of a project of the Alliance for Global Sustainability between the MIT, the SFITs and the University of To ...
We present an approach for describing tests using non-deterministic test generation programs. To write test generation programs, we introduce UDITA, a Java-based language with non-deterministic choice operators and an interface for generating linked struct ...
Recent progresses in the technology of the Ni-Zn batteries have a direct influence on the improvement of the performance of hybrid electric vehicles. This paper evaluates the progresses of these batteries in particular for application on hybrid light vehic ...
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of general-purpose software. We believe this is due to the absence of easy-to-use tools and to the extensive manual labor required to perform fault injecti ...
This paper presents an overview on the IF toolset which is an environment for modelling and validation of heterogeneous real-time systems. The toolset is built upon a rich formalism, the IF notation, allowing structured automata-based system representation ...
This report presents the field tests synthesis of a small Hybrid Solar Power Plant integrating three technologies : hermetic volumetric scroll expander - generators working with two superposed Organic Rankine Cycles (ORC) a cogeneration group composed by a ...
With the present day's exponential growth of the (tele-)communications market, the explosion of the number of mobile communication customers, and the tremendous growth of the number of IP hosts, ensuring the reliability of communication services is one of ...
We are primarily interested in formal techniques and how they are applied to the development of hybrid services in particular. We analyze the peculiarities of such services, we look at the use of formal techniques for communication services in the industry ...
In this paper, we propose an architecture for hybrid services, i.e., services that span many network technologies, especially the PSTN and the Internet. These services will play an important role in the future, because they leverage on the existing infrast ...