Treffer 1 - 14 von 14 für Suche 'Loulergue, édéric', Suchdauer: 0,49s Treffer weiter einschränken
  1. 1
    A Benchmarks Library for Extended Parametric Timed Automata

    A Benchmarks Library for Extended Parametric Timed Automata von André, Étienne, Marinho, Dylan, van de Pol, Jaco


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Architecture-Guided Test Resource Allocation via Logic

    Architecture-Guided Test Resource Allocation via Logic von Eberhart, Clovis, Yamada, Akihisa, Klikovits, Stefan, Katsumata, Shin-ya, Kobayashi, Tsutomu, Hasuo, Ichiro, Ishikawa, Fuyuki


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings

    Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings von Loulergue, édéric, Wotawa, Franz

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Use Case Testing: A Constrained Active Machine Learning Approach

    Use Case Testing: A Constrained Active Machine Learning Approach von Meinke, Karl, Khosrowjerdi, Hojat


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs

    FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs von Alshmrany, Kaled M., Aldughaim, Mohannad, Bhayat, Ahmed, Cordeiro, Lucas C.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs

    Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs von Nilizadeh, Amirfarhad, Leavens, Gary T., Păsăreanu, Corina S.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Generating Timed UI Tests from Counterexamples

    Generating Timed UI Tests from Counterexamples von Diner, Dominik, Fraser, Gordon, Schweikl, Sebastian, Stahlbauer, Andreas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Testing

    Testing

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Testing, Runtime Verification and Automata Learning

    Testing, Runtime Verification and Automata Learning

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Learning About the Change: An Adaptive Approach to Automata Learning

    Learning About the Change: An Adaptive Approach to Automata Learning

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Intro

    Intro

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Organization

    Organization

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Learning, Test Resource Allocation and Benchmarks

    Learning, Test Resource Allocation and Benchmarks

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Abstracts of Invited Events

    Abstracts of Invited Events

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: