Academic Positions Europe

CEA Tech, France

Post Doc - Coupling of symbolic execution and numerical execution for the analysis of behavioral models including programs

PsD-DRT-17-0022

RESEARCH FIELD

Computer science and software

ABSTRACT

In the Model-Based Testing (MBT) approach, the models serve as a reference for studying the correctness of the systems under test. However, in practice, these models are often of high level, however they may include components in the form of programs. Most of them are not analyzable by MBT techniques based on symbolic execution. A possible approach to circumvent this problem is to define heuristics to find concrete executions of these programs in order to follow the different paths of the behaviors tree (computed by symbolically executing of the model). The idea is to use the constraints induced by the different conditionals manipulated in the model to drive a solver in order to dynamically construct couples of input value/output value for each program covering a specific behavior to be tested. The objective of this post-doc is to set up a framework based on the Diversity symbolic execution platform which allow the analysis models containing programs using the technique mentioned above and to evaluate its scalability.

LOCATION

Département Ingénierie Logiciels et Systèmes (LIST)
Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués
Saclay

CONTACT PERSON

GASTON Christophe
CEA
DRT/DILS//LISE
CEA/Saclay
Phone number: 01 69 08 34 82
Email: christophe.gaston@cea.fr

START DATE

As soon as possible

« The age limit is 26 years for PhD offers and 30 years old for post-doc offers. »

CEA Tech

CEA Tech is building on CEA Leti’s successful track record innovating for industry.

Application details

Published:
2017-01-10
Application deadline:
Unspecified

Please indicate that you saw this advert on Academic Positions when applying.

More jobs by this employer