Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing
Graph Chatbot
Chattez avec Graph Search
Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos 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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
