Mostrando 11 - 20 resultados de 53 para a busca '"Testing and debugging."', tempo de busca: 0.02s Refinar Resultados
  1. 11

    Invariants and state in testing and formal methods. por Hamlet, Dick

    Artigo

    Invariants and state in testing and formal methods.
  2. 12

    Symbolic path simulation in path-sensitive dataflow analysis. por Hampapuram, Hari

    Artigo

    Symbolic path simulation in path-sensitive dataflow analysis.
  3. 13

    String analysis for x86 binaries. por Christodorescu, Mihai

    Artigo

    String analysis for x86 binaries.
  4. 14

    ASTEC a new approach to refactoring C. por McCloskey, Bill

    Artigo

    ASTEC a new approach to refactoring C.
  5. 15

    Arithmetic program paths. por Renieris, Manos

    Artigo

    Arithmetic program paths.
  6. 16

    Context- and path-sensitive memory leak detection. por Xie, Yichen

    Artigo

    Context- and path-sensitive memory leak detection.
  7. 17

    Performance data collection using a hybrid approach. por Metz, Edu

    Artigo

    Performance data collection using a hybrid approach.
  8. 18

    Summarizing application performance from a components perspective. por Srinivas, Kavitha

    Artigo

    Summarizing application performance from a components perspective.
  9. 19

    Applying classification techniques to remotely-collected program execution data. por Haran, Murali

    Artigo

    Applying classification techniques to remotely-collected program execution data.
  10. 20

    Matching execution histories of program versions. por Zhang, Xiangyu

    Artigo

    Matching execution histories of program versions.

Ferramentas de busca: