Interaction Specification Mining With Adversarial Examples

Universities and Institutes of France
October 16, 2022
Offerd Salary:Negotiation
Working address:N/A
Contract Type:Temporary
Working Time:Full time
Working type:N/A
Job Ref.:N/A
  • Organisation/Company: CEA LIST
  • Research Field: Computer science › Informatics
  • Researcher Profile: First Stage Researcher (R1) Recognised Researcher (R2) Established Researcher (R3) Leading Researcher (R4)
  • Application Deadline: 16/10/2022 00:00 - Europe/Brussels
  • Location: France › Palaiseau
  • Type Of Contract: Temporary
  • Job Status: Full-time
  • A 3-year long full-time PhD student in Softtware Engineering on the following subject:

    Interaction specification mining with adversarial examples

    Software systems are often developed in a modular way by (re)using components that cooperate in providing a more global service. We will consider component-intensive software systems, particularly those composed of communicating components via message passing and communication primitives. Examples of such systems are client/server systems, transportation control systems, Internet of Things, connected autonomous vehicles, etc. In practice, the assembly of these components follows poorly documented ad-hoc procedures. Therefore, discovering their formal specifications, i.e., specification mining is of great interest for many software Verification and Validation activities (V&V). In our context, mining will exploit the information contained in the execution logs of the communicating components. These logs are often collected via code instrumentation or sniffing or via a testing architecture. The objective of the doctoral work is to develop new methods for mining interaction specifications, such as models of UML Sequence diagrams or Message Sequence Charts (MSC). The foreseen mining framework will be grounded by recent theoretical work and supporting tooling on operational rewriting semantics of interaction developed conjointly between CEA LIST and CentraleSupélec. It will encompass test generation, guided by key reachability properties or, more generally, LTL (Linear Temporal Logic) properties that adversely exercise the components against uncommon test inputs and thus ensuring diversity in their executions for more efficient mining.

    The doctoral work will be conducted in the frame of the HORIZON Europe project SELFY. N.B., SELFY stands for SELF assessment, protection & healing tools for a trustworthY and resilient CCAM, CCAM stands for Cooperative, Connected and Automated Mobility. The project SELFY aims to increase the CCAM ecosystem's safety, security, robustness, and resilience by researching and developing a toolbox made of collaborative tools, including a V&V tool based on interaction specification mining. The PhD student will be involved in research collaboration with Okayama University (Japan), an international associate partner linked to CEA in the project.

    Detailed proposition. https: //

    Funding category: Contrat doctoral

    PHD Country: France

    Offer Requirements Specific Requirements

    The applicant must have a master's degree in computer science or a specialization in computer science in an engineering school.

    Contact Information
  • Organisation/Company: CEA LIST
  • Organisation Type: Public Research Institution
  • Website: https: //
  • Country: France
  • From this employer

    Recent blogs

    Recent news