Zum Inhalt springen

  2. Temple, Paul [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Jézéquel, Jean-Marc [MitwirkendeR]

    Investigate the matrix : leveraging variability to specialize software and test suites ; Examinons la matrice : s'appuyer sur la variabilité pour spécialiser les systèmes et les suites de tests

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-12-07

  3. Poeplau, Sebastian [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Francillon, Aurélien [MitwirkendeR]

    Increasing the performance of symbolic execution by compiling symbolic handling into binaries ; Exécution symbolique haute performance par la compilation du moteur symbolique dans le programme testé

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-11-20

  4. Afshinpour, Bahareh [VerfasserIn] ; Université Grenoble Alpes [MitwirkendeR]; Groz, Roland [MitwirkendeR]; Amini, Massih-Reza [MitwirkendeR]

    Exploitation de journaux logiciels avec des techniques d'apprentissage automatique ; Mining Software Logs with Machine Learning Techniques

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-09-29

  5. Bernard, Elodie [VerfasserIn] ; Bourgogne Franche-Comté [MitwirkendeR]; Legeard, Bruno [MitwirkendeR]; Ambert, Fabrice [MitwirkendeR]

    Approche Agile du Model-Based Testing pour les tests fonctionnels des SI d’entreprise ; Agile approach of Model-Based Testing for functional testing of enterprise IT systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-03-23

  6. Vera Pérez, Oscar Luis [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Baudry, Benoit [MitwirkendeR]

    Dynamic program analysis for suggesting test improvements to developers ; Analyse dynamique du programme pour suggérer des améliorations de test aux développeurs

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-12-17

  7. Leveau, Julien [VerfasserIn] ; Bordeaux [MitwirkendeR]; Réveillère, Laurent [MitwirkendeR]; Blanc, Xavier [MitwirkendeR]

    Conduire des sessions de Test Exploratoire, une approche basée sur les données. ; Driving exploratory testing sessions, a data-driven approach

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-11-19

  8. Tka, Mouna [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Parissis, Ioannis [MitwirkendeR]

    Génération automatique de test pour les contrôleurs logiques programmables synchrones ; Automated test generation for logical programmable synchronous controllers

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2016-06-02

  9. Voiron, Guillaume [VerfasserIn] ; Bourgogne Franche-Comté [MitwirkendeR]; Julliand, Jacques [MitwirkendeR]; Masson, Pierre-Alain [MitwirkendeR]

    Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests ; concrete and relevant exploration of abstract event systems for automatic tests generation

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-09-27

  10. Olivier, Paul L. R. [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Francillon, Aurélien [MitwirkendeR]

    Improving Hardware-in-the-loop Dynamic Security Testing For Linux-based Embedded Devices ; Amélioration des tests de sécurité dynamiques "Hardware-in-the-Loop" pour les dispositifs embarqués basés sur Linux

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-03-22

  11. Kotake, Taichi [VerfasserIn]

    Pōto sukyana jisaku de hajimeru penetorēshon tesuto : Linux kankyō de manabu kōgekisha no shikō - [Shohan.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Tōkyō-to Shinjuku-ku: Orairī Japan, 2023 ; $UChin: オライリー・ジャパン,, 2023

  12. Muench, Marius [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Balzarotti, Davide [MitwirkendeR]; Francillon, Aurélien [MitwirkendeR]

    Dynamic binary firmware analysis : challenges & solutions ; Analyse dynamique de micrologiciels binaires : défis et solutions

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-09-19

  15. André, Pierre [VerfasserIn] ; Toulouse 3 [MitwirkendeR]; Kanoun, Karama [MitwirkendeR]; Rivière, Nicolas [MitwirkendeR]; Waeselynck, Hélène [MitwirkendeR]

    Test de systèmes ubiquitaires avec prise en compte explicite de la mobilité ; Test of ubiquitous systems with explicit consideration of the mobility

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2015-11-17

  16. Berriri, Asma [VerfasserIn] ; Université Paris-Saclay (ComUE) [MitwirkendeR]; Zeghlache, Djamal [MitwirkendeR]; Kushik, Natalia [MitwirkendeR]

    Model based testing techniques for software defined networks ; Méthodes de test basées sur les modèles pour la validation des réseaux logiciels (SDN)

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-10-22

  17. Bissyande, Tegawende [VerfasserIn] ; Bordeaux 1 [MitwirkendeR]; Réveillère, Laurent [MitwirkendeR]

    Contributions for improving debugging of kernel-level services in a monolithic operating system ; Contributions à l'amélioration du débogage des services noyau dans un système d'exploitation monolithique

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-03-12

  18. Irfan, Muhammad Naeem [VerfasserIn] ; Grenoble [MitwirkendeR]; Groz, Roland [MitwirkendeR]; Oriat, Catherine [MitwirkendeR]

    Analyse et optimisation d'algorithmes pour l'inférence de modèles de composants logiciels ; Analysis and optimization of software model inference algorithms

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-09-19

  20. Cretin, Aymeric [VerfasserIn] ; Bourgogne Franche-Comté [MitwirkendeR]; Legeard, Bruno [MitwirkendeR]; Peureux, Fabien [MitwirkendeR]; Vernotte, Alexandre [MitwirkendeR]

    Conception et génération de tests par altération de données pour les systèmes de contrôle et de surveillance des transports : application aux domaines aérien et maritime ; Designing and generation of tests by data alteration for transportation surveillance and control systems : application to air and maritime domains

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-03-15