Suchergebnisse - "Symbolic execution."

  • Treffer 1 - 4 von 4
Treffer weiter einschränken
  1. 1

    Generalizing symbolic execution to library classes. von Khurshid, Sarfraz

    Veröffentlicht in Software engineering notes.
    Artikel


    Buchumschlag
  2. 2

    Using symbolic execution for verifying safety-critical systems. von Coen-Porisini, Alberto

    Veröffentlicht in Software engineering notes.
    Artikel


    Buchumschlag
  3. 3

    Parameterized unit tests with unit meister. von Tillmann, Nikolai

    Veröffentlicht in Software engineering notes.
    Artikel


    Buchumschlag
  4. 4

    Parameterized unit tests with unit meister. von Tillman, Nikolai

    Veröffentlicht in Software engineering notes.
    Artikel


    Buchumschlag

Suchwerkzeuge: