Résultat(s) 11 - 20 résultats de 53 pour la requête '"Testing and Debugging."', Temps de recherche: 0,02s Affiner les résultats
  1. 11

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

    Article

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

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

    Article

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

    String analysis for x86 binaries. par Christodorescu, Mihai

    Article

    String analysis for x86 binaries.
  4. 14

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

    Article

    ASTEC a new approach to refactoring C.
  5. 15

    Arithmetic program paths. par Renieris, Manos

    Article

    Arithmetic program paths.
  6. 16

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

    Article

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

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

    Article

    Performance data collection using a hybrid approach.
  8. 18

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

    Article

    Summarizing application performance from a components perspective.
  9. 19

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

    Article

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

    Matching execution histories of program versions. par Zhang, Xiangyu

    Article

    Matching execution histories of program versions.

Outils de recherche: