Mostrando 1 - 4 resultados de 4 para a busca '"Symbolic execution."', tempo de busca: 0.02s Refinar Resultados
  1. 1

    Parameterized unit tests with unit meister. por Tillman, Nikolai

    Artigo

    Parameterized unit tests with unit meister.
  2. 2

    Parameterized unit tests with unit meister. por Tillmann, Nikolai

    Artigo

    Parameterized unit tests with unit meister.
  3. 3

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

    Artigo

    Using symbolic execution for verifying safety-critical systems.
  4. 4

    Generalizing symbolic execution to library classes. por Khurshid, Sarfraz

    Artigo

    Generalizing symbolic execution to library classes.

Ferramentas de busca: