Showing 11 - 20 results of 53 for search '"Testing and debugging."', query time: 0.02s Refine Results
  1. 11

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

    Article

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

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

    Article

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

    String analysis for x86 binaries. by Christodorescu, Mihai

    Article

    String analysis for x86 binaries.
  4. 14

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

    Article

    ASTEC a new approach to refactoring C.
  5. 15

    Arithmetic program paths. by Renieris, Manos

    Article

    Arithmetic program paths.
  6. 16

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

    Article

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

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

    Article

    Performance data collection using a hybrid approach.
  8. 18

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

    Article

    Summarizing application performance from a components perspective.
  9. 19

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

    Article

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

    Matching execution histories of program versions. by Zhang, Xiangyu

    Article

    Matching execution histories of program versions.

Search Tools: