Publication

Parallel symbolic execution for automated real-world software testing

Publications associées (65)

Search Techniques for Code Generation

This dissertation explores techniques that synthesize and generate program fragments and test inputs. The main goal of these techniques is to improve and support automation in program synthesis and test input generation. This is important because performin ...

EPFL2015

Quantitative analysis of deformation in hollow cylinder tests on anisotropic clay formations

Vincent Labiouse, Gioacchino Viggiani, Shuang You

A series of triaxial laboratory experiments are performed on thick-walled hollow cylindrical samples of boom clay. The aim of this testing program is to better understand the anisotropic deformation during the excavation. The testing conditions are similar ...

2015

Techniques for Identifying Elusive Corner-Case Bugs in Systems Software

Radu Banabic

Modern software is plagued by elusive corner-case bugs (e.g., security bugs). Because there are no scalable, automated ways of finding them, such bugs can remain hidden until software is deployed in production. This thesis proposes approaches to solve this ...

EPFL2015

Making Automated Testing of Cloud Applications an Integral Component of PaaS

George Candea, Johannes Kinder, Stefan Bucur

Traditional testing is inadequate for the complexity of modern cloud application software stacks. While the platform-as-a-service (PaaS) model has streamlined application development and deployment, its multiple abstraction layers and dependencies have mad ...

2013

Model-based automated testing of critical PLC programs

Jean-Charles Tournier, Simon Bliudze

Testing of critical PLC (Programmable Logic Controller) programs remains a challenging task for control system engineers as it can rarely be automated. This paper proposes a model-based approach which uses the BIP (Behavior, Interactions and Priorities) fr ...

IEEE2013

Designing Augmented Reality for the Classroom

Pierre Dillenbourg, Sébastien Cuendet, Quentin Bonnard

Augmented reality (AR) has recently received a lot of attention in education. Multiple AR systems for learning have been developed and tested through empirical studies often conducted in lab settings. While lab studies can be insightful, they leave out the ...

Elsevier2013

Evaluation of the tensile strength of SFRC as derived from inverse analysis of notched bending tests

Aurelio Muttoni

For the design of SFRC members, the most fundamental material property is its post cracking residual tensile strength. When relying on physical models to describe structural behaviour under load, the material laws must first be accurately established. If t ...

VIII International Conference on Fracture Mechanics of Concrete and Concrete Structures, FraMCoS-82013

A Real Time Performance Assessment of Simultaneous Pattern Recognition Control for Multi-functional Upper Limb Prostheses

Sophie Marie Marthe Wurth

A natural and intuitive operation of multifunctional upper limb prostheses involves the concurrent activation of multiple degrees of freedom in a proportional way. Several approaches to simultaneous and proportional control strategies have been investigate ...

Ieee2013

A SOFT Way for OpenFlow Switch Interoperability Testing

Dejan Kostic, Marco Canini, Peter Peresini, Maciej Leszek Kuzniar

The increasing adoption of Software Defined Networking, and OpenFlow in particular, brings great hope for increasing extensibility and lowering costs of deploying new network functionality. A key component in these networks is the OpenFlow agent, a piece o ...

2012

Test run for the HRMT-15 (RPINST) experiment

Nikolaos Charitonidis, Marco Silari

The present document discusses the results of the measurements carried out during the test run performed before the main beam time of the HRMT-15 (RPINST) experiment in the HiRadMat facility, which is planned for October 2012. A prototype detector, specifi ...

CERN EDMS System2012

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.

Connectez-vous pour utiliser Chat avec Graph Search